src/Doc/ROOT
changeset 50080 200f749c96db
parent 50074 0b02aaf7c7c5
child 50084 3a3c54342e58
     1.1 --- a/src/Doc/ROOT	Sat Nov 10 20:16:16 2012 +0100
     1.2 +++ b/src/Doc/ROOT	Sun Nov 11 16:19:55 2012 +0100
     1.3 @@ -262,7 +262,6 @@
     1.4      "../manual.bib"
     1.5      "document/build"
     1.6      "document/root.tex"
     1.7 -    "document/simplifier.tex"
     1.8      "document/substitution.tex"
     1.9      "document/syntax.tex"
    1.10      "document/thm.tex"