1.1 --- a/etc/components Wed Jun 08 17:49:01 2011 +0200
1.2 +++ b/etc/components Wed Jun 08 20:58:51 2011 +0200
1.3 @@ -11,6 +11,7 @@
1.4 src/Sequents
1.5 #misc components
1.6 src/Tools/Code
1.7 +src/Tools/jEdit
1.8 src/Tools/WWW_Find
1.9 src/HOL/Tools/ATP
1.10 src/HOL/Mirabelle