Proof General Documentation Wiki: Difference between revisions

m
Text replacement - "NoLicense" to "No license"
m (Text replacement - "FoundedIn2004" to "Founded in 2004")
m (Text replacement - "NoLicense" to "No license")
Tags: Mobile edit Mobile web edit
Line 13: Line 13:
|editmode        = LoginToEdit
|editmode        = LoginToEdit
|engine          = MoinMoin
|engine          = MoinMoin
|license          = NoLicense
|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-->