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.
src/Doc/ROOT
changeset 60674 2f66099fb472
parent 60656 aabae0331b2f
child 62013 92a2372a226b 
--- a/src/Doc/ROOT	Mon Jul 06 20:07:41 2015 +0200
+++ b/src/Doc/ROOT	Mon Jul 06 20:13:51 2015 +0200
@@ -166,7 +166,6 @@
     Proof
     Proof_Script
     Inner_Syntax
-    Misc
     Generic
     HOL_Specific
     Quick_Reference
isabelle