| 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 |
| Wed, 02 Feb 2011 12:34:45 +0100 | hoelzl | the measure valuation is again part of the measure_space type, instead of an explicit parameter to the locale; | changeset | files |
| Wed, 02 Feb 2011 10:35:41 +0100 | bulwahn | merged | changeset | files |