waldemar%netscape.com
|
653ef11c7d
|
Fixed the precedence of neg
git-svn-id: svn://10.0.0.236/trunk@103692 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-09-25 03:46:57 +00:00 |
|
waldemar%netscape.com
|
824f0e3d5e
|
Transitioned to paragraph/DIV-based styles
git-svn-id: svn://10.0.0.236/trunk@103239 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-09-20 00:13:32 +00:00 |
|
waldemar%netscape.com
|
6cff0ce7ce
|
Added time-to-string and time-to-short-string
git-svn-id: svn://10.0.0.236/trunk@103238 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-09-20 00:12:13 +00:00 |
|
waldemar%netscape.com
|
90addddd67
|
Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements.
git-svn-id: svn://10.0.0.236/trunk@102681 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-09-10 22:10:36 +00:00 |
|
waldemar%netscape.com
|
1b74aa96ce
|
Removed type-expression
git-svn-id: svn://10.0.0.236/trunk@101687 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-23 04:22:56 +00:00 |
|
waldemar%netscape.com
|
99aeb2f52f
|
Added more basic semantics
git-svn-id: svn://10.0.0.236/trunk@101686 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-23 04:22:24 +00:00 |
|
waldemar%netscape.com
|
4496362776
|
Added vector subtyping, support for & on unions of tags, and the nonempty operator
git-svn-id: svn://10.0.0.236/trunk@101685 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-23 04:21:18 +00:00 |
|
waldemar%netscape.com
|
0f612cd98b
|
Renamed a few semantic types. Added 'named' parameter attribute.
git-svn-id: svn://10.0.0.236/trunk@101337 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-17 20:04:04 +00:00 |
|
waldemar%netscape.com
|
0fff7a6ee9
|
Tags with fields are now depicted with the 'tuple' keyword instead of 'tag'
git-svn-id: svn://10.0.0.236/trunk@101336 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-17 20:03:11 +00:00 |
|
waldemar%netscape.com
|
66600ef943
|
Added unary operators and much more expression parsing. Rearranged semantic data structures.
git-svn-id: svn://10.0.0.236/trunk@101160 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-16 00:39:00 +00:00 |
|
waldemar%netscape.com
|
163a472844
|
Brought up to date to process formal/notation.html
git-svn-id: svn://10.0.0.236/trunk@101159 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-16 00:38:06 +00:00 |
|
waldemar%netscape.com
|
b78a74c0a5
|
Added subset-10 and subset-eq-10
git-svn-id: svn://10.0.0.236/trunk@101158 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-16 00:37:39 +00:00 |
|
waldemar%netscape.com
|
f72298020b
|
Removed 'type' keyword before depicted type definitions
git-svn-id: svn://10.0.0.236/trunk@101157 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-16 00:37:03 +00:00 |
|
waldemar%netscape.com
|
ca901cf6b2
|
Brought up to date
git-svn-id: svn://10.0.0.236/trunk@100865 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-11 06:53:35 +00:00 |
|
waldemar%netscape.com
|
16843ab663
|
Added semicolon after action declarations
git-svn-id: svn://10.0.0.236/trunk@100864 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-11 06:53:09 +00:00 |
|
waldemar%netscape.com
|
dd94fa69b0
|
Added truncate-finite-float64 and compare
git-svn-id: svn://10.0.0.236/trunk@100844 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-10 23:27:43 +00:00 |
|
waldemar%netscape.com
|
205a83af3a
|
Renamed truncate-float64 to truncate-finite-float64
git-svn-id: svn://10.0.0.236/trunk@100843 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-10 23:26:50 +00:00 |
|
waldemar%netscape.com
|
4265aebf51
|
Put back instanceof and made minor superficial changes
git-svn-id: svn://10.0.0.236/trunk@100842 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-10 23:25:41 +00:00 |
|
waldemar%netscape.com
|
84548cf109
|
Removed 3_in notation
git-svn-id: svn://10.0.0.236/trunk@100841 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-10 23:24:39 +00:00 |
|
waldemar%netscape.com
|
1d11bf0d8f
|
Eliminated local-variable style
git-svn-id: svn://10.0.0.236/trunk@100840 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-10 23:24:11 +00:00 |
|
waldemar%netscape.com
|
49c6f2b2da
|
Fixed handling of infinities
git-svn-id: svn://10.0.0.236/trunk@100839 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-08-10 23:23:42 +00:00 |
|
waldemar%netscape.com
|
2c07f31cce
|
Jul 24 syntax changes
git-svn-id: svn://10.0.0.236/trunk@99955 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-07-26 23:38:46 +00:00 |
|
waldemar%netscape.com
|
fc8e10a8d4
|
Changed instanceof to is and removed no-line-break constraint after use
git-svn-id: svn://10.0.0.236/trunk@98352 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-06-30 02:29:52 +00:00 |
|
waldemar%netscape.com
|
c684faa23a
|
Added 'is' reserved word
git-svn-id: svn://10.0.0.236/trunk@98351 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-06-30 02:29:08 +00:00 |
|
waldemar%netscape.com
|
db1511ca32
|
Made parenthesized field names js2-only. Renamed language directives to pragmas and reworked their syntax as well as that of use and import directives.
git-svn-id: svn://10.0.0.236/trunk@97263 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-06-16 00:41:34 +00:00 |
|
waldemar%netscape.com
|
a1c444bce0
|
Added RTF cleanup utilities and a hack to read and write improper RTF commands that contain upper-case letters.
git-svn-id: svn://10.0.0.236/trunk@96766 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-06-09 01:04:16 +00:00 |
|
waldemar%netscape.com
|
d9e418e713
|
Interchanged Definition and AnnotatedDefinition.
git-svn-id: svn://10.0.0.236/trunk@96764 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-06-09 01:03:10 +00:00 |
|
waldemar%netscape.com
|
f86d45d969
|
Big switchover to Algol-style semantics
git-svn-id: svn://10.0.0.236/trunk@92066 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-04-12 04:33:39 +00:00 |
|
waldemar%netscape.com
|
5440d6ccb7
|
Removed '
git-svn-id: svn://10.0.0.236/trunk@92065 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-04-12 04:32:52 +00:00 |
|
waldemar%netscape.com
|
106fc6223c
|
Brought up to date
git-svn-id: svn://10.0.0.236/trunk@92064 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-04-12 04:32:17 +00:00 |
|
waldemar%netscape.com
|
f16520821b
|
Switchover to Algol-style semantics
git-svn-id: svn://10.0.0.236/trunk@92063 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-04-12 04:31:46 +00:00 |
|
waldemar%netscape.com
|
a438ef9ca0
|
Added support for more html elements
git-svn-id: svn://10.0.0.236/trunk@89052 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-09 02:12:21 +00:00 |
|
waldemar%netscape.com
|
3ecc866e77
|
Made read-rtf non-recursive to avoid stack overflows
git-svn-id: svn://10.0.0.236/trunk@89051 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-09 02:11:13 +00:00 |
|
waldemar%netscape.com
|
ccbf532f44
|
Renamed token to input-element
git-svn-id: svn://10.0.0.236/trunk@89049 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-09 02:10:15 +00:00 |
|
waldemar%netscape.com
|
e352ea7240
|
Changed titles of generated html and rtf files
git-svn-id: svn://10.0.0.236/trunk@89048 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-09 02:09:50 +00:00 |
|
waldemar%netscape.com
|
9f82587400
|
More expression semantics
git-svn-id: svn://10.0.0.236/trunk@88414 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-02 23:15:54 +00:00 |
|
waldemar%netscape.com
|
69f7a96c5a
|
Renamed string-equal to string=
git-svn-id: svn://10.0.0.236/trunk@88412 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-02 23:15:33 +00:00 |
|
waldemar%netscape.com
|
781c19a1b4
|
Added ^, hex, mod, and string comparison operators
git-svn-id: svn://10.0.0.236/trunk@88411 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-02 23:14:11 +00:00 |
|
waldemar%netscape.com
|
4cf938a094
|
Initial version
git-svn-id: svn://10.0.0.236/trunk@88286 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:37:45 +00:00 |
|
waldemar%netscape.com
|
9fac641ef6
|
Added progn and compacted the formatting of several forms
git-svn-id: svn://10.0.0.236/trunk@88285 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:36:32 +00:00 |
|
waldemar%netscape.com
|
b5c9aee2ef
|
Renamed double to float64, added progn, and added support for ? within rules
git-svn-id: svn://10.0.0.236/trunk@88284 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:35:44 +00:00 |
|
waldemar%netscape.com
|
22f094c0e8
|
Brought up to date
git-svn-id: svn://10.0.0.236/trunk@88283 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:34:37 +00:00 |
|
waldemar%netscape.com
|
474649b6f1
|
Added support for .. in directory paths
git-svn-id: svn://10.0.0.236/trunk@88282 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:34:14 +00:00 |
|
waldemar%netscape.com
|
338e5bbcb9
|
Added save-block-style
git-svn-id: svn://10.0.0.236/trunk@88281 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:33:45 +00:00 |
|
waldemar%netscape.com
|
8fca1f6efe
|
Added save-block-style and *html-to-rtf-definitions*
git-svn-id: svn://10.0.0.236/trunk@88280 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:33:25 +00:00 |
|
waldemar%netscape.com
|
78f428bf2f
|
Renamed double to float64
git-svn-id: svn://10.0.0.236/trunk@88279 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:32:08 +00:00 |
|
waldemar%netscape.com
|
9cf24a521b
|
Started work on expression semantics
git-svn-id: svn://10.0.0.236/trunk@88278 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:31:28 +00:00 |
|
waldemar%netscape.com
|
742b85af02
|
Fixed terminal-action bug
git-svn-id: svn://10.0.0.236/trunk@88277 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-03-01 05:29:57 +00:00 |
|
waldemar%netscape.com
|
bd44416b3a
|
Replaced \Q by \_
git-svn-id: svn://10.0.0.236/trunk@87721 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-02-23 00:04:17 +00:00 |
|
waldemar%netscape.com
|
494f89b821
|
A few new semantics
git-svn-id: svn://10.0.0.236/trunk@86656 18797224-902f-48f8-a5cc-f745e15eee43
|
2001-02-09 05:00:28 +00:00 |
|