1.1 --- a/ROOTS	Fri Aug 23 12:30:51 2013 +0200
     1.2 +++ b/ROOTS	Fri Aug 23 12:40:55 2013 +0200
     1.3 @@ -9,3 +9,5 @@
     1.4  src/LCF
     1.5  src/Sequents
     1.6  src/Doc
     1.7 +src/Tools
     1.8 +