50 Коммитов

Автор	SHA1	Сообщение	Дата
gerv%gerv.net	5956d34127	Bug 236613: change to MPL/LGPL/GPL tri-license.	2005-12-13 13:25:40 +00:00
waldemar%netscape.com	75811a58fd	Added char21, supplementary-char, multiple-value-bind. The depiction of exec now explicitly states that the result is ignored.	2003-06-30 22:10:12 +00:00
waldemar%netscape.com	558e37bebf	Added exclude-zero, delay, and %list-set primitives	2003-06-05 01:33:14 +00:00
waldemar%netscape.com	ba1bde9577	Added integer-list and lisp-call expressions. Changed record constructors to depict using single angular brackets.	2003-05-23 01:01:29 +00:00
waldemar%netscape.com	1b85a5d1f3	Fixed precedences in type expressions. Added support for /*/ and comments in throw statements.	2003-05-03 00:16:55 +00:00
waldemar%netscape.com	bce5683f9b	Added support for definfix and non-reserved operators. Fixed operator precedence bugs.	2003-02-18 00:28:37 +00:00
waldemar%netscape.com	9edf92a6ca	Added set<=	2003-01-25 02:26:51 +00:00
waldemar%netscape.com	ed755cd6d3	Added note statement	2003-01-14 22:19:35 +00:00
waldemar%netscape.com	68894de4de	Parametrized floating-point code due to different Common Lisp implementations using different types for IEEE 32 and 64-bit values	2002-10-29 02:15:11 +00:00
waldemar%netscape.com	f03aef601e	Added :keyword depictor	2002-10-29 01:07:49 +00:00
waldemar%netscape.com	e18c69bbc8	Added :forward actions	2002-10-14 23:17:59 +00:00
waldemar%netscape.com	33a725c9d8	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	81dc48552e	Partially implemented integer-range type. Changed bottom from an expression to a statement.	2002-08-13 23:54:10 +00:00
waldemar%netscape.com	9ea91721bc	Added optional test to unique-elt-of	2002-06-12 00:23:45 +00:00
waldemar%netscape.com	30235bd216	Added support for optional fields	2002-04-24 00:30:02 +00:00
waldemar%netscape.com	6461de5ff5	Changed formatting of elt-of and unique-elt-of	2002-03-04 23:49:03 +00:00
waldemar%netscape.com	dbbe674ce9	Added support for set-field and type-diff	2002-02-08 04:05:44 +00:00
waldemar%netscape.com	9e99f70b6a	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	ea2837a1a9	Added for-each statements	2002-01-17 01:28:30 +00:00
waldemar%netscape.com	d65574438b	Added 'cons' array operator	2001-12-20 01:07:22 +00:00
waldemar%netscape.com	fe50fb0839	Added /* and */ statements	2001-11-30 02:22:37 +00:00
waldemar%netscape.com	dba9d7f2a9	Fixed formatting of empty records	2001-11-27 02:38:39 +00:00
waldemar%netscape.com	93fdd12a4b	Added support for //, assert, and uninitialized vars	2001-11-06 01:22:57 +00:00
waldemar%netscape.com	7185d1eae2	Fixed comment	2001-10-27 02:40:41 +00:00
waldemar%netscape.com	10a3a367d8	Added :global-call and support for styled text inside %heading	2001-10-23 22:45:20 +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	3172f59803	Renamed type to domain	2001-10-19 00:50:40 +00:00
waldemar%netscape.com	7264eb7847	Added support for writable actions	2001-10-17 03:57:51 +00:00
waldemar%netscape.com	46bae57c92	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	a7370dd7cb	Added optional parameters to %print-actions	2001-09-27 05:40:20 +00:00
waldemar%netscape.com	0290f857e7	Renamed local-variable to variable	2001-09-25 03:51:24 +00:00
waldemar%netscape.com	51d86fad6d	Transitioned to paragraph/DIV-based styles	2001-09-20 00:13:32 +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	3a8791415d	Added vector subtyping, support for & on unions of tags, and the nonempty operator	2001-08-23 04:21:18 +00:00
waldemar%netscape.com	d7facf8397	Tags with fields are now depicted with the 'tuple' keyword instead of 'tag'	2001-08-17 20:03:11 +00:00
waldemar%netscape.com	776f55b009	Removed 'type' keyword before depicted type definitions	2001-08-16 00:37:03 +00:00
waldemar%netscape.com	1efc1a11fd	Added semicolon after action declarations	2001-08-11 06:53:09 +00:00
waldemar%netscape.com	dacc51531a	Switchover to Algol-style semantics	2001-04-12 04:31:46 +00:00
waldemar%netscape.com	62eb18c67b	Added ^, hex, mod, and string comparison operators	2001-03-02 23:14:11 +00:00
waldemar%netscape.com	8a866109f1	Added progn and compacted the formatting of several forms	2001-03-01 05:36:32 +00:00
waldemar%netscape.com	bbabbd5a0f	Added vector comprehensions and extra mode parameter for %section, %subsection, and %text.	2001-02-07 05:05:39 +00:00
waldemar%netscape.com	6c173aab33	Added support for highlights.	2000-09-09 02:14:35 +00:00
waldemar%netscape.com	cda16b1c7d	Updated to Mozilla 1.1 license	1999-11-03 03:58:07 +00:00
waldemar%netscape.com	7c5d2c5286	Added semantic subtyping, throw, and catch	1999-10-20 00:40:55 +00:00
waldemar%netscape.com	b58090bf41	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	6f01466cb1	Moved pieces of file around	1999-06-03 20:49:13 +00:00
waldemar%netscape.com	9c9cc073cf	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	e727ef0bd6	Added references, default actions, combined rules	1999-05-10 20:55:59 +00:00
waldemar%netscape.com	685711e0ef	Removed spaces from file names	1999-02-06 03:20:35 +00:00
waldemar%netscape.com	0def3457bd	First Checked In.	1999-01-30 01:19:00 +00:00