| #
f226bedf |
|
07-Dec-2011 |
blanchet <none@none> |
updated Metis to 20110926 version
|
| #
e191c1cd |
|
24-Mar-2011 |
blanchet <none@none> |
new version of Metis 2.3 (29 Dec. 2010)
|
| #
ce78ddc0 |
|
16-Sep-2010 |
blanchet <none@none> |
fix license
|
| #
4da7acb1 |
|
16-Sep-2010 |
blanchet <none@none> |
updated source files with Metis 2.3 (timestamp: 16 Sept. 2010)
|
| #
f0c6682f |
|
15-Sep-2010 |
blanchet <none@none> |
MIT license -> BSD License
|
| #
eff8d487 |
|
15-Sep-2010 |
blanchet <none@none> |
copied the unmodified official Metis 2.3 (15 Sept. 2010) sources into Isabelle
|
| #
96650a0a |
|
13-Sep-2010 |
blanchet <none@none> |
change license, with Joe Hurd's permission
|
| #
f3414100 |
|
13-Sep-2010 |
blanchet <none@none> |
new version of the Metis files
|
| #
cb6b20e4 |
|
13-Sep-2010 |
blanchet <none@none> |
remove old sources
|
| #
ea35949b |
|
13-Nov-2007 |
paulson <none@none> |
patching in the latest changes from Hurd
|
| #
89e1d065 |
|
20-Jun-2007 |
wenzelm <none@none> |
The Metis prover (slightly modified version from Larry);
|