12 Commits

Author	SHA1	Message	Date
waldemar%netscape.com	5c0b2c4238	Updated pathnames	2003-02-18 00:26:59 +00:00
waldemar%netscape.com	6345b989c5	Updated license	2002-02-04 21:13:45 +00:00
waldemar%netscape.com	20585be27c	Renamed type to domain	2001-10-19 00:50:40 +00:00
waldemar%netscape.com	6fe473fa50	More style changes. Removed nested character styles. Fixed line insertion. Made syntax errors catchable by the read-eval-print loop.	2001-10-12 00:24:20 +00:00
waldemar%netscape.com	9b65975763	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +00:00
waldemar%netscape.com	aeaa0089e3	Added support for algorithm styles	2001-09-25 03:49:47 +00:00
waldemar%netscape.com	29dc6fcf87	Transitioned to paragraph/DIV-based styles	2001-09-20 00:13:32 +00:00
waldemar%netscape.com	6111dd54aa	Removed type-expression	2001-08-23 04:22:56 +00:00
waldemar%netscape.com	b2b2b87db6	Brought up to date to process formal/notation.html	2001-08-16 00:38:06 +00:00
waldemar%netscape.com	579cc4de87	Removed '	2001-04-12 04:32:52 +00:00
waldemar%netscape.com	bb582ee77f	Added support for more html elements	2001-03-09 02:12:21 +00:00
waldemar%netscape.com	bc4670ec9f	Initial version	2001-03-01 05:37:45 +00:00