| Fri, 25 Sep 1998 14:32:36 +0200 | wenzelm | improved; | changeset | files |
| Fri, 25 Sep 1998 14:06:56 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | changeset | files |
| Fri, 25 Sep 1998 14:06:27 +0200 | paulson | added Int to BasisLibrary | changeset | files |
| Fri, 25 Sep 1998 14:06:00 +0200 | paulson | deleted illegal "op" | changeset | files |
| Fri, 25 Sep 1998 14:05:34 +0200 | paulson | uses BasisLibrary for Int.min | changeset | files |
| Fri, 25 Sep 1998 14:05:13 +0200 | paulson | patched obsolete code | changeset | files |
| Fri, 25 Sep 1998 14:04:22 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.* | changeset | files |