| Wed, 07 Dec 2011 16:03:05 +0100 |
blanchet |
updated Metis to 20110926 version
|
file |
diff |
annotate
|
| Thu, 24 Mar 2011 17:49:27 +0100 |
blanchet |
new version of Metis 2.3 (29 Dec. 2010)
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 01:58:21 +0200 |
blanchet |
fix license
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 01:56:19 +0200 |
blanchet |
updated source files with Metis 2.3 (timestamp: 16 Sept. 2010)
|
file |
diff |
annotate
|
| Thu, 16 Sep 2010 07:52:47 +0200 |
blanchet |
reintroduce missing "critical"s by hand
|
file |
diff |
annotate
|
| Thu, 16 Sep 2010 07:30:15 +0200 |
blanchet |
MIT license -> BSD License
|
file |
diff |
annotate
|
| Thu, 16 Sep 2010 07:24:04 +0200 |
blanchet |
copied the unmodified official Metis 2.3 (15 Sept. 2010) sources into Isabelle
|
file |
diff |
annotate
|
| Wed, 15 Sep 2010 16:16:33 +0200 |
blanchet |
more Isabelle-specific changes
|
file |
diff |
annotate
|
| Wed, 15 Sep 2010 15:44:24 +0200 |
blanchet |
put "foldl" and "foldr" in "Useful";
|
file |
diff |
annotate
|
| Wed, 15 Sep 2010 15:15:49 +0200 |
blanchet |
reintroduce the CRITICAL sections from change 3880d21d6013
|
file |
diff |
annotate
|
| Mon, 13 Sep 2010 21:24:10 +0200 |
blanchet |
merged
|
file |
diff |
annotate
|
| Mon, 13 Sep 2010 21:11:59 +0200 |
blanchet |
change license, with Joe Hurd's permission
|
file |
diff |
annotate
|
| Mon, 13 Sep 2010 21:09:43 +0200 |
blanchet |
new version of the Metis files
|
file |
diff |
annotate
|
| Tue, 13 Nov 2007 18:29:28 +0100 |
paulson |
patching in the latest changes from Hurd
|
file |
diff |
annotate
|
| Fri, 17 Aug 2007 23:10:50 +0200 |
wenzelm |
added CRITICAL section markup;
|
file |
diff |
annotate
|
| Wed, 27 Jun 2007 12:41:36 +0200 |
paulson |
GPL -> BSD
|
file |
diff |
annotate
|
| Wed, 20 Jun 2007 22:07:52 +0200 |
wenzelm |
The Metis prover (slightly modified version from Larry);
|
file |
diff |
annotate
|