Thu, 09 Aug 2007 23:53:49 +0200 | wenzelm | schedule: more precise task model; | changeset | files |
Thu, 09 Aug 2007 19:19:23 +0200 | wenzelm | fixed DESCRIPTION: single line; | changeset | files |
Thu, 09 Aug 2007 19:00:31 +0200 | wenzelm | updated; | changeset | files |
Thu, 09 Aug 2007 16:56:17 +0200 | wenzelm | adapted ThyLoad.check_thy; | changeset | files |
Thu, 09 Aug 2007 15:57:26 +0200 | haftmann | dropped | changeset | files |
Thu, 09 Aug 2007 15:52:57 +0200 | haftmann | explizit checking for pattern discipline | changeset | files |
Thu, 09 Aug 2007 15:52:56 +0200 | haftmann | proper handling of empty datatypes | changeset | files |