Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
plain object;
authorwenzelm
Sun, 10 Jan 2010 23:16:26 +0100 (2010-01-10)
changeset 34303 98425e77cfeb
parent 34302 9bb71dfe7314
child 34304 b32c68328d24
plain object;
src/Pure/Thy/thy_syntax.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_syntax.scala	Sun Jan 10 23:16:18 2010 +0100
+++ b/src/Pure/Thy/thy_syntax.scala	Sun Jan 10 23:16:26 2010 +0100
@@ -7,7 +7,7 @@
 package isabelle
 
 
-class Thy_Syntax
+object Thy_Syntax
 {
   private val parser = new Outer_Parse.Parser
   {
isabelle