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
|
Wed, 15 Sep 2010 16:16:33 +0200 |
blanchet |
more Isabelle-specific changes
|
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: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
|