Bureaucrats, checkuser, Interface administrators, interwiki, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Editors (Semantic MediaWiki), staff, Suppressors, Administrators
83,693
edits
Proof General Documentation Wiki: Difference between revisions
Jump to navigation
Jump to search
m
Text replacement - "FoundedIn2004" to "Founded in 2004"
Hoof Hearted (talk | contribs) (Size, wikilinks, age) |
Hoof Hearted (talk | contribs) m (Text replacement - "FoundedIn2004" to "Founded in 2004") |
||
| Line 47: | Line 47: | ||
Proof General is developed at the [https://www.Ed.ac.uk/informatics/ University of Edinburgh Division of Informatics] by [[Archive.org:20060213065652/http://BigRed.HomeLinux.org/~danielw/|Daniel Winterstein]] and [https://www.Inf.Ed.ac.uk/people/staff/David_Aspinall.html David Aspinall]. Feel free to [[Archive.org:20060116134522/http://ProofGeneral.Inf.Ed.ac.uk/cgi-bin/wiki.cgi/ContactUs|contact us]] with any queries. | Proof General is developed at the [https://www.Ed.ac.uk/informatics/ University of Edinburgh Division of Informatics] by [[Archive.org:20060213065652/http://BigRed.HomeLinux.org/~danielw/|Daniel Winterstein]] and [https://www.Inf.Ed.ac.uk/people/staff/David_Aspinall.html David Aspinall]. Feel free to [[Archive.org:20060116134522/http://ProofGeneral.Inf.Ed.ac.uk/cgi-bin/wiki.cgi/ContactUs|contact us]] with any queries. | ||
[[Category: | [[Category:Founded in 2004]] | ||