| Wed, 02 Feb 2011 14:11:26 +0000 | paulson | Introduction of metis calls and other cosmetic modifications. | changeset | files |
| Wed, 02 Feb 2011 15:47:57 +0100 | boehmes | merged | changeset | files |
| Wed, 02 Feb 2011 14:01:09 +0100 | boehmes | avoid ML structure aliases (especially single-letter abbreviations) | changeset | files |
| Wed, 02 Feb 2011 13:53:06 +0100 | bulwahn | making the bash script swipl_version closer to Isabelle's conventional bash scripts | changeset | files |