PG Web: Difference between revisions

PG Web (edit)

Revision as of 17:25, 21 March 2013

559 bytes added , 21 March 2013

engine fix, stats, other fixes

Bureaucrats, checkuser, Interface administrators, interwiki, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Editors (Semantic MediaWiki), staff, Suppressors, Administrators

83,693

edits

@@ Line 1: / Line 1: @@
 {{Wiki
-|logo              = No
+|logo             = No
-|URL               = https://wiki.inf.ed.ac.uk/PG
+|URL              = https://wiki.inf.ed.ac.uk/PG
-|recentchanges URL = https://wiki.inf.ed.ac.uk/PG/WebChanges
+|recentchanges URL= https://wiki.inf.ed.ac.uk/PG/WebChanges
-|wikinode URL      = No
+|wikinode URL     = No
-|status            = Active
+|about URL        = No
-|language          = English
+|status           = Active
-|editmode          = OpenEdit
+|language         = English
-|engine            = Twiki
+|editmode         = OpenEdit
-|maintopic         = Development
+|engine           = TWiki
+|license          = Copyright to contributing authors
+|maintopic        = Development
 }}
-==Description==
+{{Size <!--see Template:Size for full detail-->
-Good interfaces and development tools are crucial if interactive proof systems are to be adopted by mathematicians and computer programmers. Unfortunately, the development tools available for theorem provers are often quite rudimentary. The Proof General project is an ongoing attempt to redress this. Proof General provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with ExcitingFeatures (see some ScreenShots) and a wide range of bugs.
+|pages= 137 <!--type the plain number of pages - NO thousands separators-->
+|statistics URL= https://wiki.inf.ed.ac.uk/PG/WebIndex
+|wikiFactor= <!--preferred, if unknown leave void, see: Category:wikiFactor-->
+|wikiFactor URL= <!--wF source (often 'PopularPages', 'Mostvisitedpages', 'PageHits') - if unknown leave void-->
+}}(As of: 21 March 2013)<!--manually add/amend date when stats are verified and/or updated-->
-The Proof General wiki has apparently (?) moved from
-a MoinMoin wiki at http://proofgeneral.inf.ed.ac.uk/kit/wiki to
+Good interfaces and development tools are crucial if interactive proof systems are to be adopted by mathematicians and computer programmers. Unfortunately, the development tools available for theorem provers are often quite rudimentary. The Proof General project is an ongoing attempt to redress this. [http://proofgeneral.inf.ed.ac.uk/ Proof General] provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with ExcitingFeatures (see some ScreenShots) and a wide range of bugs.
-a Twiki wiki [[WikiEngine]] at https://wiki.inf.ed.ac.uk/PG .
+The '''Proof General Wiki''' has apparently (?) moved from a MoinMoin wiki at http://proofgeneral.inf.ed.ac.uk/kit/wiki to a TWiki wiki [[WikiEngine]] at https://wiki.inf.ed.ac.uk/PG .
 ''(I'd like a link to more info about *why* that happened. --[[User:DavidCary|DavidCary]] ([[User talk:DavidCary|talk]]) 08:34, 21 March 2013 (PDT))''
-[[Category:UnknownWikiLogo]]
+[[Category:FoundedIn20xx]]