Wed, 28 Jul 2010 18:45:18 +0200 | blanchet | updated Sledgehammer docs | file | diff | annotate |
Fri, 25 Jun 2010 18:03:01 +0200 | blanchet | update docs | file | diff | annotate |
Wed, 23 Jun 2010 15:06:40 +0200 | blanchet | steal some of http://isabelle.in.tum.de/sledgehammer.html and add it to the docs | file | diff | annotate |
Tue, 22 Jun 2010 14:28:22 +0200 | blanchet | removed Sledgehammer's support for the DFG syntax; | file | diff | annotate |
Mon, 14 Jun 2010 16:43:44 +0200 | blanchet | expect SPASS 3.7, and give a friendly warning if an older version is used | file | diff | annotate |
Fri, 14 May 2010 22:43:00 +0200 | blanchet | added Sledgehammer manual; | file | diff | annotate |