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)
clasohm [Tue, 21 Nov 1995 12:41:52 +0100] rev 1350
replaced exit_use by exit_use_dir for subdirectories
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
clasohm [Tue, 21 Nov 1995 12:36:31 +0100] rev 1348
index.html files are now made separatly for each subdirectory
nipkow [Sun, 19 Nov 1995 14:17:31 +0100] rev 1347
Moved comments into README.html
nipkow [Sun, 19 Nov 1995 14:16:00 +0100] rev 1346
New README.html fuile
nipkow [Sat, 18 Nov 1995 15:35:24 +0100] rev 1345
Better!
nipkow [Sat, 18 Nov 1995 14:55:44 +0100] rev 1344
Half a lexical analyzer generator.
nipkow [Fri, 17 Nov 1995 19:41:20 +0100] rev 1343
Added Lex
mueller [Fri, 17 Nov 1995 15:10:36 +0100] rev 1342
*** empty log message ***