--- a/ROOTS Fri Aug 23 12:30:51 2013 +0200 +++ b/ROOTS Fri Aug 23 12:40:55 2013 +0200 @@ -9,3 +9,5 @@ src/LCF src/Sequents src/Doc +src/Tools +