| Thu, 09 Jul 2020 11:39:16 +0200 |
desharna |
Update Metis to 2.4
|
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: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 19:22:34 +0200 |
blanchet |
move "CRITICAL" to "PortableXxx", where it belongs and used to be;
|
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
|