ROOTS
changeset 48985 5386df44a037
parent 48857 9032f4bdf205
child 53164 beb4ee344c22
     1.1 --- a/ROOTS	Tue Aug 28 18:46:15 2012 +0200
     1.2 +++ b/ROOTS	Tue Aug 28 18:57:32 2012 +0200
     1.3 @@ -8,4 +8,4 @@
     1.4  src/FOLP
     1.5  src/LCF
     1.6  src/Sequents
     1.7 -doc-src
     1.8 +src/Doc