| Thu, 17 Apr 1997 14:41:26 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 17 Apr 1997 14:41:08 +0200 | wenzelm | added fixencoding note; | changeset | files |
| Thu, 17 Apr 1997 10:40:26 +0200 | wenzelm | fixed ISAMODE_HOME; | changeset | files |
| Thu, 17 Apr 1997 10:30:57 +0200 | wenzelm | eliminated PLATFORM; | changeset | files |
| Wed, 16 Apr 1997 18:53:36 +0200 | wenzelm | removed lceil, rceil, lfloor, rfloor; | changeset | files |
| Wed, 16 Apr 1997 18:51:03 +0200 | wenzelm | fixed perl path (for sunbroys); | changeset | files |
| Wed, 16 Apr 1997 18:46:01 +0200 | wenzelm | improved translations for subset symbols syntax: constraints; | changeset | files |
| Wed, 16 Apr 1997 18:25:46 +0200 | wenzelm | moved classes / sorts to sorts.ML; | changeset | files |