Tue, 21 Nov 1995 12:46:11 +0100 moved to subdirectories ABP and NTP
clasohm [Tue, 21 Nov 1995 12:46:11 +0100] rev 1353
moved to subdirectories ABP and NTP
Tue, 21 Nov 1995 12:43:52 +0100 removed make_chart
clasohm [Tue, 21 Nov 1995 12:43:52 +0100] rev 1352
removed make_chart
Tue, 21 Nov 1995 12:43:09 +0100 removed make_chart;
clasohm [Tue, 21 Nov 1995 12:43:09 +0100] rev 1351
removed make_chart; theories are now read from the current directory (because of use_dir)
Tue, 21 Nov 1995 12:41:52 +0100 replaced exit_use by exit_use_dir for subdirectories
clasohm [Tue, 21 Nov 1995 12:41:52 +0100] rev 1350
replaced exit_use by exit_use_dir for subdirectories
Tue, 21 Nov 1995 12:40:04 +0100 added local index.html files to rm_html.sh;
clasohm [Tue, 21 Nov 1995 12:40:04 +0100] rev 1349
added local index.html files to rm_html.sh; replaced www4 by hpbroy12 in install_html.sh because of login problems on www4
Tue, 21 Nov 1995 12:36:31 +0100 index.html files are now made separatly for each subdirectory
clasohm [Tue, 21 Nov 1995 12:36:31 +0100] rev 1348
index.html files are now made separatly for each subdirectory
Sun, 19 Nov 1995 14:17:31 +0100 Moved comments into README.html
nipkow [Sun, 19 Nov 1995 14:17:31 +0100] rev 1347
Moved comments into README.html
Sun, 19 Nov 1995 14:16:00 +0100 New README.html fuile
nipkow [Sun, 19 Nov 1995 14:16:00 +0100] rev 1346
New README.html fuile
Sat, 18 Nov 1995 15:35:24 +0100 Better!
nipkow [Sat, 18 Nov 1995 15:35:24 +0100] rev 1345
Better!
Sat, 18 Nov 1995 14:55:44 +0100 Half a lexical analyzer generator.
nipkow [Sat, 18 Nov 1995 14:55:44 +0100] rev 1344
Half a lexical analyzer generator.
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip