| Tue, 05 Oct 1993 17:27:05 +0100 | lcp | Retry of the previous commit (network outage) | changeset | files |
| Tue, 05 Oct 1993 17:15:28 +0100 | lcp | Retry of the previous commit (network outage) | changeset | files |
| Tue, 05 Oct 1993 15:32:29 +0100 | lcp | ordinal: DEFINITION of < and le to replace : and <= on ordinals! Many | changeset | files |
| Tue, 05 Oct 1993 15:21:29 +0100 | lcp | ordinal: DEFINITION of < and le to replace : and <= on ordinals! Many | changeset | files |
| Tue, 05 Oct 1993 13:15:01 +0100 | clasohm | added functions that operate on filenames: split_filename (originally located | changeset | files |
| Mon, 04 Oct 1993 15:49:49 +0100 | wenzelm | replaced id by idt; | changeset | files |
| Mon, 04 Oct 1993 15:44:54 +0100 | wenzelm | added parse rules for -> and *; | changeset | files |