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.
no document for Cartouche_Examples: avoid problems typesetting "\001";
authorwenzelm
Thu, 23 Jan 2014 14:26:16 +0100
changeset 55123 a389b50e6a42
parent 55122 3eb7bcca5b90
child 55124 ffabc0a5853e
child 55125 0e0c09fca7bc
no document for Cartouche_Examples: avoid problems typesetting "\001";
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Jan 22 23:51:26 2014 +0100
+++ b/src/HOL/ROOT	Thu Jan 23 14:26:16 2014 +0100
@@ -502,6 +502,7 @@
     Serbian
     "~~/src/HOL/Library/FinFun_Syntax"
     "~~/src/HOL/Library/Refute"
+    Cartouche_Examples
   theories
     Iff_Oracle
     Coercion_Examples
@@ -562,7 +563,6 @@
     SVC_Oracle
     Simps_Case_Conv_Examples
     ML
-    Cartouche_Examples
   theories [skip_proofs = false]
     Meson_Test
   theories [condition = SVC_HOME]
isabelle