Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarImplementation/Thy/Base.thy
changeset 43564 9864182c6bad
parent 40110 93e7935d4cb5
child 48891 c0eafbd55de3 
--- a/doc-src/IsarImplementation/Thy/Base.thy	Mon Jun 27 17:51:28 2011 +0200
+++ b/doc-src/IsarImplementation/Thy/Base.thy	Mon Jun 27 22:20:49 2011 +0200
@@ -3,4 +3,6 @@
 uses "../../antiquote_setup.ML"
 begin
 
+setup {* Antiquote_Setup.setup *}
+
 end
isabelle