# HG changeset patch # User haftmann # Date 1281510391 -7200 # Node ID 7edf0ab9d5cb0aba912e6f3993131c6c7055ff94 # Parent ac3080d48b010e30cea875406a43a742a4ff002a explicit ML extension diff -r ac3080d48b01 -r 7edf0ab9d5cb doc-src/Classes/Thy/Setup.thy --- a/doc-src/Classes/Thy/Setup.thy Wed Aug 11 08:50:20 2010 +0200 +++ b/doc-src/Classes/Thy/Setup.thy Wed Aug 11 09:06:31 2010 +0200 @@ -1,8 +1,8 @@ theory Setup imports Main Code_Integer uses - "../../antiquote_setup" - "../../more_antiquote" + "../../antiquote_setup.ML" + "../../more_antiquote.ML" begin setup {* Code_Target.set_default_code_width 74 *}