adapted ThyLoad.check_thy;
authorwenzelm
Thu Aug 09 16:56:17 2007 +0200 (2007-08-09)
changeset 2420492c646714237
parent 24203 a365995c043b
child 24205 c315d0a40db6
adapted ThyLoad.check_thy;
doc-src/antiquote_setup.ML
     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 *)