Wed, 27 Aug 2008 11:49:14 +0200 | wenzelm | added General/properties.ML; | changeset | files |
Wed, 27 Aug 2008 11:48:54 +0200 | wenzelm | type Properties.T; | changeset | files |
Wed, 27 Aug 2008 11:24:35 +0200 | haftmann | proper error message | changeset | files |