changeset 49854 | f49745d1395a |
parent 49805 | 6e739225dd8a |
child 49872 | 9032f4bdf205 |
1.1 --- a/etc/components Fri Aug 17 12:14:58 2012 +0200 1.2 +++ b/etc/components Fri Aug 17 14:55:46 2012 +0200 1.3 @@ -10,7 +10,6 @@ 1.4 src/LCF 1.5 src/Sequents 1.6 #misc components 1.7 -doc-src 1.8 src/Tools/Code 1.9 src/Tools/jEdit 1.10 src/Tools/WWW_Find 1.11 @@ -21,3 +20,4 @@ 1.12 src/HOL/Tools/Predicate_Compile 1.13 src/HOL/Tools/SMT 1.14 src/HOL/TPTP 1.15 +doc-src