Граф коммитов

210 Коммитов

Автор SHA1 Сообщение Дата
waldemar%netscape.com f9f0eb59a2 Added support for indexes in rtf files 2001-10-04 01:13:53 +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 1f6af95d85 Made section headers be headings level 1 and 2 instead of 3 and 4 2001-09-27 05:41:50 +00:00
waldemar%netscape.com 4ee5399d3a Miscellaneous renamings and formatting changes 2001-09-27 05:41:20 +00:00
waldemar%netscape.com a7370dd7cb Added optional parameters to %print-actions 2001-09-27 05:40:20 +00:00
waldemar%netscape.com 1ad950164a Added support for -> covariance and contravariance 2001-09-27 05:39:52 +00:00
waldemar%netscape.com 0290f857e7 Renamed local-variable to variable 2001-09-25 03:51:24 +00:00
waldemar%netscape.com 2478baa36a Tweaked HTML formatting 2001-09-25 03:51:12 +00:00
waldemar%netscape.com 2bacd49f44 Added algorithm, stmt, and lvl styles. Obsoleted semantics styles. 2001-09-25 03:50:36 +00:00
waldemar%netscape.com 0ec390e0a2 Added support for algorithm styles 2001-09-25 03:49:47 +00:00
waldemar%netscape.com 4b6409bb06 Tweaked Word styles 2001-09-25 03:49:27 +00:00
waldemar%netscape.com 91e1713b73 Added support for the 'named' function parameter attribute. Removed .class. Renamed production names to British spelling. 2001-09-25 03:48:53 +00:00
waldemar%netscape.com d0d41b288d Added named 2001-09-25 03:47:52 +00:00
waldemar%netscape.com deea221554 Fixed the precedence of neg 2001-09-25 03:46:57 +00:00
waldemar%netscape.com 51d86fad6d Transitioned to paragraph/DIV-based styles 2001-09-20 00:13:32 +00:00
waldemar%netscape.com bd8682892c Added time-to-string and time-to-short-string 2001-09-20 00:12:13 +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 5d3a82e791 Removed type-expression 2001-08-23 04:22:56 +00:00
waldemar%netscape.com d2a51e5b54 Added more basic semantics 2001-08-23 04:22:24 +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 433afbcdaa Renamed a few semantic types. Added 'named' parameter attribute. 2001-08-17 20:04:04 +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 d513856da0 Added unary operators and much more expression parsing. Rearranged semantic data structures. 2001-08-16 00:39:00 +00:00
waldemar%netscape.com 0a334dc2ef Brought up to date to process formal/notation.html 2001-08-16 00:38:06 +00:00
waldemar%netscape.com 8feef5fd35 Added subset-10 and subset-eq-10 2001-08-16 00:37:39 +00:00
waldemar%netscape.com 776f55b009 Removed 'type' keyword before depicted type definitions 2001-08-16 00:37:03 +00:00
waldemar%netscape.com 8dd68f5e16 Brought up to date 2001-08-11 06:53:35 +00:00
waldemar%netscape.com 1efc1a11fd Added semicolon after action declarations 2001-08-11 06:53:09 +00:00
waldemar%netscape.com 62d960e8ba Added truncate-finite-float64 and compare 2001-08-10 23:27:43 +00:00
waldemar%netscape.com f8b3a4a6aa Renamed truncate-float64 to truncate-finite-float64 2001-08-10 23:26:50 +00:00
waldemar%netscape.com a16400a1e7 Put back instanceof and made minor superficial changes 2001-08-10 23:25:41 +00:00
waldemar%netscape.com 8788474af2 Removed 3_in notation 2001-08-10 23:24:39 +00:00
waldemar%netscape.com 748c97bb3d Eliminated local-variable style 2001-08-10 23:24:11 +00:00
waldemar%netscape.com 7fbd45cfc6 Fixed handling of infinities 2001-08-10 23:23:42 +00:00
waldemar%netscape.com 3e4c7076a4 Jul 24 syntax changes 2001-07-26 23:38:46 +00:00
waldemar%netscape.com 8e38044aab Changed instanceof to is and removed no-line-break constraint after use 2001-06-30 02:29:52 +00:00
waldemar%netscape.com c8e597f524 Added 'is' reserved word 2001-06-30 02:29:08 +00:00
waldemar%netscape.com e3493c0237 Made parenthesized field names js2-only. Renamed language directives to pragmas and reworked their syntax as well as that of use and import directives. 2001-06-16 00:41:34 +00:00
waldemar%netscape.com 7d72a7065d Added RTF cleanup utilities and a hack to read and write improper RTF commands that contain upper-case letters. 2001-06-09 01:04:16 +00:00
waldemar%netscape.com 79a0cd28c9 Interchanged Definition and AnnotatedDefinition. 2001-06-09 01:03:10 +00:00
waldemar%netscape.com 8cfc11f0ad Big switchover to Algol-style semantics 2001-04-12 04:33:39 +00:00
waldemar%netscape.com cfa454de93 Removed ' 2001-04-12 04:32:52 +00:00
waldemar%netscape.com bdb8a533f6 Brought up to date 2001-04-12 04:32:17 +00:00
waldemar%netscape.com dacc51531a Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
waldemar%netscape.com 3b9974b135 Added support for more html elements 2001-03-09 02:12:21 +00:00
waldemar%netscape.com 48b2bd5c37 Made read-rtf non-recursive to avoid stack overflows 2001-03-09 02:11:13 +00:00
waldemar%netscape.com d5c2386002 Renamed token to input-element 2001-03-09 02:10:15 +00:00
waldemar%netscape.com 1ae510f12c Changed titles of generated html and rtf files 2001-03-09 02:09:50 +00:00
waldemar%netscape.com 5c2b8d3fe3 More expression semantics 2001-03-02 23:15:54 +00:00
waldemar%netscape.com bfa286f4b9 Renamed string-equal to string= 2001-03-02 23:15:33 +00:00