Thu, 19 Aug 2010 12:03:47 +0200 |
blanchet |
update docs
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 17:23:17 +0200 |
blanchet |
update docs
|
file |
diff |
annotate
|
Wed, 28 Jul 2010 23:44:18 +0200 |
blanchet |
mention version numbers
|
file |
diff |
annotate
|
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
|