8 Коммитов

Автор	SHA1	Сообщение	Дата
waldemar%netscape.com	32cb82d3e5	Added U+0085 to the list of line terminator characters.	2003-06-30 22:14:07 +00:00
waldemar%netscape.com	72bd9aa18c	Renamed Character to Char16.	2003-05-23 01:05:48 +00:00
waldemar%netscape.com	db6d29fd6b	Added dump-units	2001-11-06 01:23:17 +00:00
waldemar%netscape.com	58832bbcea	Replaced %section and %subsection by %heading with an adjustable level number	2001-10-19 23:18:03 +00:00
waldemar%netscape.com	589c6baca5	Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements.	2001-09-10 22:10:36 +00:00
waldemar%netscape.com	dacc51531a	Switchover to Algol-style semantics	2001-04-12 04:31:46 +00:00
waldemar%netscape.com	6cd25e1b96	Added support for white space. Removed initial / production.	2000-11-21 04:07:05 +00:00
waldemar%netscape.com	c8e5c8c645	Initial version	2000-10-28 05:54:44 +00:00