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) (Size, wikilinks, age) |
Hoof Hearted (talk | contribs) (added Category:Edinburgh using HotCat) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 13: | Line 13: | ||
|editmode = LoginToEdit | |editmode = LoginToEdit | ||
|engine = MoinMoin | |engine = MoinMoin | ||
|license = | |license = No license | ||
|maintopic = Mathematics | |maintopic = Mathematics | ||
|backupurl = <!--database dump backup file URL; found at '/Special:Statistics' on Wikia & some other MediaWiki sites; archived URL may also be used--> | |backupurl = <!--database dump backup file URL; found at '/Special:Statistics' on Wikia & some other MediaWiki sites; archived URL may also be used--> | ||
| 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:Edinburgh]] | ||
[[Category:Founded in 2004]] | |||