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;
authorwenzelm
Tue, 01 Jul 2008 21:30:12 +0200
changeset 27434 8a7100d33960
parent 27433 b82c12e57e79
child 27435 b3f8e9bdf9a7
tuned;
src/Pure/Tools/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/isabelle_process.ML	Tue Jul 01 21:30:11 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Tue Jul 01 21:30:12 2008 +0200
@@ -75,7 +75,7 @@
 and get_pos (elem as XML.Elem (name, atts, ts)) =
       if name = Markup.positionN then SOME (Position.of_properties atts)
       else message_pos ts
-  | get_pos _ = NONE
+  | get_pos _ = NONE;
 
 in
isabelle