Tue, 13 Sep 1994 11:19:38 +0200 | lcp | now uses find to locate .thy.ML files everywhere | changeset | files |
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 |