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.
tuned whitespace;
authorwenzelm
Wed, 21 Jan 2009 20:20:43 +0100
changeset 29601 93553f7c722f
parent 29586 4f9803829625
child 29602 f1583c12b5d0
tuned whitespace;
src/Pure/Isar/spec_parse.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/spec_parse.ML	Wed Jan 21 18:37:44 2009 +0100
+++ b/src/Pure/Isar/spec_parse.ML	Wed Jan 21 20:20:43 2009 +0100
@@ -24,7 +24,7 @@
   val locale_fixes: (binding * string option * mixfix) list parser
   val locale_insts: (string option list * (Attrib.binding * string) list) parser
   val class_expr: string list parser
-    val locale_expression: Expression.expression parser
+  val locale_expression: Expression.expression parser
   val locale_keyword: string parser
   val context_element: Element.context parser
   val statement: (Attrib.binding * (string * string list) list) list parser
isabelle