.depend.opt
Make* 
README 
examples/grundlagen/*.aut 
icons/*.ico
icons/*.png
src/*.ml
src/Make*
src/*/*
xml/*.dtd 
xml/*.xsl