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.
Enclosed end_theory in text antiquotation to make LaTeX happy.
authorberghofe
Wed, 19 Sep 2007 12:17:13 +0200
changeset 24644 66ef82187de1
parent 24643 d5e4b170d132
child 24645 1af302128da2
Enclosed end_theory in text antiquotation to make LaTeX happy.
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Main.thy	Wed Sep 19 11:50:07 2007 +0200
+++ b/src/HOL/Main.thy	Wed Sep 19 12:17:13 2007 +0200
@@ -14,7 +14,7 @@
 
   \medskip Late clause setup: installs \emph{all} known theorems
   into the clause cache; cf.\ theory @{text ATP_Linkup}. 
-  FIXME: delete once end_theory actions are installed!
+  FIXME: delete once @{text end_theory} actions are installed!
 *}
 
 setup ResAxioms.clause_cache_setup
isabelle