| Wed, 13 Feb 2013 16:35:07 +0100 | immler | use maximum norm for type finmap | changeset | files |
| Wed, 13 Feb 2013 16:35:07 +0100 | immler | generalized | changeset | files |
| Wed, 13 Feb 2013 16:35:07 +0100 | immler | generalized | changeset | files |
| Wed, 13 Feb 2013 16:30:34 +0100 | wenzelm | merged | changeset | files |
| Wed, 13 Feb 2013 15:40:59 +0100 | wenzelm | discontinued home-made sharing for proof terms -- leave memory management to the Poly/ML RTS; | changeset | files |
| 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 |