author | wenzelm |
Thu, 09 Aug 2007 16:56:17 +0200 | |
changeset 24204 | 92c646714237 |
parent 24203 | a365995c043b |
child 24205 | c315d0a40db6 |
1.1 --- a/doc-src/antiquote_setup.ML Thu Aug 09 15:57:26 2007 +0200 1.2 +++ b/doc-src/antiquote_setup.ML Thu Aug 09 16:56:17 2007 +0200 1.3 @@ -50,7 +50,7 @@ 1.4 1.5 fun arguments x = O.args (Scan.lift (Args.name -- Scan.optional (Args.colon |-- Args.name) "")) x; 1.6 1.7 -fun pretty_thy_file name = (ThyLoad.check_thy Path.current name false; Pretty.str name); 1.8 +fun pretty_thy_file name = (ThyLoad.check_thy Path.current name; Pretty.str name); 1.9 1.10 1.11 (* theorems with names *)