| Fri, 30 May 1997 15:16:44 +0200 | paulson | Now Divides must be the parent | changeset | files |
| Fri, 30 May 1997 15:15:57 +0200 | paulson | Moving div and mod from Arith to Divides | changeset | files |
| Fri, 30 May 1997 15:14:59 +0200 | paulson | flushOut ensures that no recent error message are lost (not certain this is | changeset | files |
| Tue, 27 May 1997 17:49:52 +0200 | wenzelm | polyml-3.1 default again (for local work); | changeset | files |
| Tue, 27 May 1997 16:31:26 +0200 | wenzelm | fixed -P (checkout only); | changeset | files |
| Tue, 27 May 1997 15:45:07 +0200 | wenzelm | NJ 1.09.2x as factory default! | changeset | files |
| Tue, 27 May 1997 15:07:02 +0200 | mueller | Last changes for new release 94-8 | changeset | files |
| Tue, 27 May 1997 14:38:49 +0200 | wenzelm | added 1.09.28 note; | changeset | files |