| Wed, 22 Nov 1995 18:48:56 +0100 | nipkow | Added List_Examples | changeset | files |
| Tue, 21 Nov 1995 17:59:45 +0100 | nipkow | Added lots of comments | changeset | files |
| Tue, 21 Nov 1995 15:10:12 +0100 | clasohm | main directory is now read by exit_use_dir, too; | changeset | files |
| Tue, 21 Nov 1995 14:53:03 +0100 | clasohm | added call of store_datatype | changeset | files |
| Tue, 21 Nov 1995 14:50:37 +0100 | clasohm | added functions for storing and retrieving information about datatypes | changeset | files |
| Tue, 21 Nov 1995 13:47:06 +0100 | clasohm | removed make_chart | changeset | files |
| Tue, 21 Nov 1995 13:46:47 +0100 | clasohm | replaced exit_use by exit_use_dir | changeset | files |
| Tue, 21 Nov 1995 13:40:36 +0100 | clasohm | removed make_chart from ROOT.ML; | changeset | files |
| Tue, 21 Nov 1995 12:47:02 +0100 | clasohm | moved from ../ROOT_NTP.ML; | changeset | files |
| Tue, 21 Nov 1995 12:46:36 +0100 | clasohm | moved from ../ROOT_ABP.ML; | changeset | files |
| Tue, 21 Nov 1995 12:46:11 +0100 | clasohm | moved to subdirectories ABP and NTP | changeset | files |
| Tue, 21 Nov 1995 12:43:52 +0100 | clasohm | removed make_chart | changeset | files |
| Tue, 21 Nov 1995 12:43:09 +0100 | clasohm | removed make_chart; | changeset | files |
| Tue, 21 Nov 1995 12:41:52 +0100 | clasohm | replaced exit_use by exit_use_dir for subdirectories | changeset | files |
| Tue, 21 Nov 1995 12:40:04 +0100 | clasohm | added local index.html files to rm_html.sh; | changeset | files |
| Tue, 21 Nov 1995 12:36:31 +0100 | clasohm | index.html files are now made separatly for each subdirectory | changeset | files |
| Sun, 19 Nov 1995 14:17:31 +0100 | nipkow | Moved comments into README.html | changeset | files |
| Sun, 19 Nov 1995 14:16:00 +0100 | nipkow | New README.html fuile | changeset | files |
| Sat, 18 Nov 1995 15:35:24 +0100 | nipkow | Better! | changeset | files |
| Sat, 18 Nov 1995 14:55:44 +0100 | nipkow | Half a lexical analyzer generator. | changeset | files |
| Fri, 17 Nov 1995 19:41:20 +0100 | nipkow | Added Lex | changeset | files |
| Fri, 17 Nov 1995 15:10:36 +0100 | mueller | *** empty log message *** | changeset | files |
| Fri, 17 Nov 1995 13:22:50 +0100 | clasohm | HTML version of README | changeset | files |
| Fri, 17 Nov 1995 13:15:19 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 17 Nov 1995 12:40:09 +0100 | clasohm | converted README to HTLM; replaced "CHOL" by "HOL" | changeset | files |
| Fri, 17 Nov 1995 12:19:21 +0100 | clasohm | changed simpset of "HOL" | changeset | files |
| Fri, 17 Nov 1995 12:08:04 +0100 | nipkow | README -> README.html | changeset | files |
| Fri, 17 Nov 1995 09:05:21 +0100 | nipkow | Added Hoare. | changeset | files |