41 Коммитов

Автор	SHA1	Сообщение	Дата
waldemar%netscape.com	c22f1b01ec	Added :keyword depictor	2002-10-29 01:07:49 +00:00
waldemar%netscape.com	e73892af93	Added :forward actions	2002-10-14 23:17:59 +00:00
waldemar%netscape.com	dbf88e2453	Added support for float32; made float32 and float64 disjoint from rational numbers; misc. numeric primitive changes; added bottom expression; made append take two or more operands; added support for expressions in comments; added repeat operator	2002-09-25 23:47:25 +00:00
waldemar%netscape.com	27398c944e	Partially implemented integer-range type. Changed bottom from an expression to a statement.	2002-08-13 23:54:10 +00:00
waldemar%netscape.com	2559b0f48c	Added optional test to unique-elt-of	2002-06-12 00:23:45 +00:00
waldemar%netscape.com	bebef0fb3a	Added support for optional fields	2002-04-24 00:30:02 +00:00
waldemar%netscape.com	16a9e4af1f	Changed formatting of elt-of and unique-elt-of	2002-03-04 23:49:03 +00:00
waldemar%netscape.com	9a615e06af	Added support for set-field and type-diff	2002-02-08 04:05:44 +00:00
waldemar%netscape.com	419c8dc84b	Incomplete attempt to define bit-set and restricted-set semantic types and to define the set-field record/tuple constructor	2002-02-04 21:08:18 +00:00
waldemar%netscape.com	7b7ad904b7	Added for-each statements	2002-01-17 01:28:30 +00:00
waldemar%netscape.com	490270b28f	Added 'cons' array operator	2001-12-20 01:07:22 +00:00
waldemar%netscape.com	1621beb52f	Added /* and */ statements	2001-11-30 02:22:37 +00:00
waldemar%netscape.com	b8b39981ba	Fixed formatting of empty records	2001-11-27 02:38:39 +00:00
waldemar%netscape.com	d9c43b05bb	Added support for //, assert, and uninitialized vars	2001-11-06 01:22:57 +00:00
waldemar%netscape.com	3b80c5d68f	Fixed comment	2001-10-27 02:40:41 +00:00
waldemar%netscape.com	61d5057b12	Added :global-call and support for styled text inside %heading	2001-10-23 22:45:20 +00:00
waldemar%netscape.com	316ce83544	Replaced %section and %subsection by %heading with an adjustable level number	2001-10-19 23:18:03 +00:00
waldemar%netscape.com	20585be27c	Renamed type to domain	2001-10-19 00:50:40 +00:00
waldemar%netscape.com	f974c090d4	Added support for writable actions	2001-10-17 03:57:51 +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	3efff59168	Added optional parameters to %print-actions	2001-09-27 05:40:20 +00:00
waldemar%netscape.com	b747ac7e74	Renamed local-variable to variable	2001-09-25 03:51:24 +00:00
waldemar%netscape.com	29dc6fcf87	Transitioned to paragraph/DIV-based styles	2001-09-20 00:13:32 +00:00
waldemar%netscape.com	2fc37b5493	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	3096004e48	Added vector subtyping, support for & on unions of tags, and the nonempty operator	2001-08-23 04:21:18 +00:00
waldemar%netscape.com	4b193a72e0	Tags with fields are now depicted with the 'tuple' keyword instead of 'tag'	2001-08-17 20:03:11 +00:00
waldemar%netscape.com	528e7cbb0d	Removed 'type' keyword before depicted type definitions	2001-08-16 00:37:03 +00:00
waldemar%netscape.com	048ea745b7	Added semicolon after action declarations	2001-08-11 06:53:09 +00:00
waldemar%netscape.com	30c7167983	Switchover to Algol-style semantics	2001-04-12 04:31:46 +00:00
waldemar%netscape.com	4be14d986e	Added ^, hex, mod, and string comparison operators	2001-03-02 23:14:11 +00:00
waldemar%netscape.com	54b30f1c88	Added progn and compacted the formatting of several forms	2001-03-01 05:36:32 +00:00
waldemar%netscape.com	ffce7baf94	Added vector comprehensions and extra mode parameter for %section, %subsection, and %text.	2001-02-07 05:05:39 +00:00
waldemar%netscape.com	8f752abf38	Added support for highlights.	2000-09-09 02:14:35 +00:00
waldemar%netscape.com	66b4ace8f4	Updated to Mozilla 1.1 license	1999-11-03 03:58:07 +00:00
waldemar%netscape.com	2588b24207	Added semantic subtyping, throw, and catch	1999-10-20 00:40:55 +00:00
waldemar%netscape.com	e59b7c66d6	Implemented partial order for operator precedences. Removed global array functions and reformatted 'length' and 'empty' functions. Made lexer-actions into global function calls.	1999-07-27 01:02:21 +00:00
waldemar%netscape.com	20608c35b1	Moved pieces of file around	1999-06-03 20:49:13 +00:00
waldemar%netscape.com	7ec4e04544	Added sets, subseq, set-nth. Renamed 'lambda' to 'function'. Fixed depictions of special global variables. Added %text depictors.	1999-05-17 05:09:44 +00:00
waldemar%netscape.com	985cfa7218	Added references, default actions, combined rules	1999-05-10 20:55:59 +00:00
waldemar%netscape.com	c7963158ca	Removed spaces from file names	1999-02-06 03:20:35 +00:00
waldemar%netscape.com	94049c5d56	First Checked In.	1999-01-30 01:19:00 +00:00