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.
adapted ThyLoad.check_thy;
authorwenzelm
Thu, 09 Aug 2007 16:56:17 +0200
changeset 24204 92c646714237
parent 24203 a365995c043b
child 24205 c315d0a40db6
adapted ThyLoad.check_thy;
doc-src/antiquote_setup.ML file | annotate | diff | comparison | revisions 
--- a/doc-src/antiquote_setup.ML	Thu Aug 09 15:57:26 2007 +0200
+++ b/doc-src/antiquote_setup.ML	Thu Aug 09 16:56:17 2007 +0200
@@ -50,7 +50,7 @@
 
 fun arguments x = O.args (Scan.lift (Args.name -- Scan.optional (Args.colon |-- Args.name) "")) x;
 
-fun pretty_thy_file name = (ThyLoad.check_thy Path.current name false; Pretty.str name);
+fun pretty_thy_file name = (ThyLoad.check_thy Path.current name; Pretty.str name);
 
 
 (* theorems with names *)
isabelle