Tue, 13 Sep 1994 10:42:34 +0200 | lcp | updated the identifier "version" | changeset | files |
Tue, 13 Sep 1994 10:26:24 +0200 | lcp | minor updates | changeset | files |
Mon, 12 Sep 1994 13:20:07 +0200 | lcp | New Makefile for Logics Manual | changeset | files |
Mon, 12 Sep 1994 13:06:07 +0200 | lcp | New Makefile for Reference Manual | changeset | files |
Mon, 12 Sep 1994 13:01:38 +0200 | lcp | New Makefile for Introduction | changeset | files |
Mon, 12 Sep 1994 12:45:10 +0200 | lcp | New Makefile for ind-defs | changeset | files |