Thu, 28 Sep 2006 23:42:56 +0200 | wenzelm | consts: syntax consts only for actual syntax; | changeset | files |
Thu, 28 Sep 2006 23:42:55 +0200 | wenzelm | added share_data (dummy); | changeset | files |
Thu, 28 Sep 2006 23:42:53 +0200 | wenzelm | removed obsolete HOLCF.ML; | changeset | files |