#
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
|
#
c6cdbdd0 |
|
15-Sep-2010 |
blanchet <none@none> |
reintroduce the CRITICAL sections from change 3880d21d6013
|
#
c4d8e610 |
|
15-Sep-2010 |
blanchet <none@none> |
apply Larry's hacks directly to the "src" files; these hacks modify the defaults of Metis heuristics and are necessary for backward compatibility
|
#
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
|
#
1cc4f23d |
|
17-Aug-2007 |
wenzelm <none@none> |
added CRITICAL section markup;
|
#
895f7fa7 |
|
26-Jun-2007 |
paulson <none@none> |
GPL -> BSD
|
#
89e1d065 |
|
20-Jun-2007 |
wenzelm <none@none> |
The Metis prover (slightly modified version from Larry);
|