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.
(fix for smlnj)
authorhaftmann
Thu, 14 Jul 2005 10:32:01 +0200
changeset 16824 c889f499911c
parent 16823 13f3768a6f14
child 16825 0a28f033de03
(fix for smlnj)
src/Pure/proof_general.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/proof_general.ML	Thu Jul 14 01:04:30 2005 +0200
+++ b/src/Pure/proof_general.ML	Thu Jul 14 10:32:01 2005 +0200
@@ -1362,7 +1362,7 @@
 
   val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty)
 
-  val pgip_toplevel =  loop true
+  fun pgip_toplevel x = loop true x
 end
isabelle