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.
tuned;
authorwenzelm
Fri, 17 Aug 2012 14:55:46 +0200
changeset 48839 f49745d1395a
parent 48838 623ba165d059
child 48840 7e19dc018db9
tuned;
etc/components file | annotate | diff | comparison | revisions 
--- a/etc/components	Fri Aug 17 12:14:58 2012 +0200
+++ b/etc/components	Fri Aug 17 14:55:46 2012 +0200
@@ -10,7 +10,6 @@
 src/LCF
 src/Sequents
 #misc components
-doc-src
 src/Tools/Code
 src/Tools/jEdit
 src/Tools/WWW_Find
@@ -21,3 +20,4 @@
 src/HOL/Tools/Predicate_Compile
 src/HOL/Tools/SMT
 src/HOL/TPTP
+doc-src
isabelle