#
f226bedf |
|
07-Dec-2011 |
blanchet <none@none> |
updated Metis to 20110926 version
|
#
af16f0c7 |
|
08-Jun-2011 |
blanchet <none@none> |
new Metis 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
|
#
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);
|