Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
explicit ML extension
authorhaftmann
Wed, 11 Aug 2010 09:06:31 +0200
changeset 38321 7edf0ab9d5cb
parent 38320 ac3080d48b01
child 38322 5888841c38da
explicit ML extension
doc-src/Classes/Thy/Setup.thy file | annotate | diff | comparison | revisions 
--- 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 *}
isabelle