| Mon, 19 Apr 2010 16:04:42 +0200 | wenzelm | some updates on multi-platform support; | changeset | files |
| Mon, 19 Apr 2010 12:15:06 +0200 | haftmann | merged | changeset | files |
| Mon, 19 Apr 2010 11:30:08 +0200 | haftmann | explicit check sorts in abstract certificates; abstractor is part of dependencies | changeset | files |
| Mon, 19 Apr 2010 10:56:26 +0200 | wenzelm | polyml-platform script is superseded by ISABELLE_PLATFORM; | changeset | files |
| Mon, 19 Apr 2010 10:19:37 +0200 | wenzelm | less ambitious settings for cygwin-poly; | changeset | files |
| Mon, 19 Apr 2010 07:38:35 +0200 | haftmann | merged | changeset | files |
| Mon, 19 Apr 2010 07:38:08 +0200 | haftmann | more convenient equations for zip | changeset | files |
| Sat, 17 Apr 2010 23:05:52 +0200 | wenzelm | more platform info; | changeset | files |