doc-src/Sledgehammer/sledgehammer.tex
2010-06-22 ago removed Sledgehammer's support for the DFG syntax;
2010-06-14 ago expect SPASS 3.7, and give a friendly warning if an older version is used
2010-05-14 ago added Sledgehammer manual;