etc/components
changeset 43284 04d473e883df
parent 42105 bba85afcfedf
child 46318 8038d050ff15
     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