Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/outer_keyword.scala
changeset 32450 375db037f4d2
parent 29450 ac7f67be7f1f
child 34158 8b66bd211dcf 
--- a/src/Pure/Isar/outer_keyword.scala	Sat Aug 29 12:01:25 2009 +0200
+++ b/src/Pure/Isar/outer_keyword.scala	Sat Aug 29 14:31:39 2009 +0200
@@ -6,8 +6,9 @@
 
 package isabelle
 
-object OuterKeyword {
 
+object OuterKeyword
+{
   val MINOR = "minor"
   val CONTROL = "control"
   val DIAG = "diag"
isabelle