| Wed, 13 Feb 2013 13:52:06 +0100 | wenzelm | more thorough error handling of load/save (see also c1be3072ea8f); | changeset | files |
| Wed, 13 Feb 2013 13:31:38 +0100 | wenzelm | file system operations for Graphics2D output; | changeset | files |
| Wed, 13 Feb 2013 12:42:59 +0100 | wenzelm | updated isabelle-release URLs; | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | combinator List.those; | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | explicit conversion integer_of_nat already in Code_Numeral_Types; | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | IArray ignorant of particular representation of nat | changeset | files |