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
authorhaftmann
Thu, 16 Sep 2010 08:18:34 +0200
changeset 39436 4a7d09da2b9c
parent 39435 5d18f4c00c07
child 39437 8c23c61c6d5c
child 39458 13c8577e1783
child 39459 7753083c00e6
child 39461 0ed0f015d140
child 39471 55e0ff582fa4
tuned whitespace
src/Tools/nbe.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/nbe.ML	Thu Sep 16 06:49:46 2010 +0200
+++ b/src/Tools/nbe.ML	Thu Sep 16 08:18:34 2010 +0200
@@ -555,6 +555,7 @@
     |> traced (fn _ => "---\n")
   end;
 
+
 (* function store *)
 
 structure Nbe_Functions = Code_Data
isabelle