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
added Category:Edinburgh using HotCat
Hoof Hearted (talk | contribs) m (Text replacement - "NoLicense" to "No license") Tags: Mobile edit Mobile web edit |
Hoof Hearted (talk | contribs) (added Category:Edinburgh using HotCat) |
||
| 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:Edinburgh]] | |||
[[Category:Founded in 2004]] | [[Category:Founded in 2004]] | ||