# HG changeset patch # User wenzelm # Date 1345718581 -7200 # Node ID 92da8a8380daf2922d22d26a2ec211b319222000 # Parent 9fc880720663e76420de1b5275f0c33b69f9465f updated Thy_Load.check_thy; diff -r 9fc880720663 -r 92da8a8380da doc-src/antiquote_setup.ML --- a/doc-src/antiquote_setup.ML Thu Aug 23 12:33:42 2012 +0200 +++ b/doc-src/antiquote_setup.ML Thu Aug 23 12:43:01 2012 +0200 @@ -135,7 +135,7 @@ val thy_file_setup = Thy_Output.antiquotation @{binding thy_file} (Scan.lift Args.name) (fn {context = ctxt, ...} => - fn name => (Thy_Load.check_thy [] Path.current name; Thy_Output.output ctxt [Pretty.str name])); + fn name => (Thy_Load.check_thy Path.current name; Thy_Output.output ctxt [Pretty.str name])); (* Isabelle/Isar entities (with index) *)