| 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 |