Tue, 06 Feb 2007 19:32:31 +0100 | wenzelm | trace/debug: avoid eager string concatenation; | changeset | files |
Tue, 06 Feb 2007 18:02:28 +0100 | wenzelm | cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms; | changeset | files |
Tue, 06 Feb 2007 17:20:14 +0100 | wenzelm | pervasive exception Option; | changeset | files |
Tue, 06 Feb 2007 17:06:44 +0100 | wenzelm | added has_kind/get_kind; | changeset | files |
Tue, 06 Feb 2007 15:12:18 +0100 | urbanc | fixed two stupid bugs of SML to do with the value restriction and missing type | changeset | files |
Tue, 06 Feb 2007 12:54:55 +0100 | aspinall | askids/qualified_thms_of_thy: version which returns names in domain of get_thm | changeset | files |
Tue, 06 Feb 2007 11:40:53 +0100 | haftmann | added eta expansion to imperative monad bind | changeset | files |