changeset 24204 | 92c646714237 |
parent 23846 | bfedd1a024fc |
child 24584 | 01e83ffa6c54 |
--- 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 *)