Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-05 00:25:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
89,848 Commits 615 Branches 98 Tags 6 GiB
c3b46ea817
Commit Graph

8 Commits

Author SHA1 Message Date
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
aeaa0089e3 Added support for algorithm styles 2001-09-25 03:49:47 +00:00
waldemar%netscape.com
29dc6fcf87 Transitioned to paragraph/DIV-based styles 2001-09-20 00:13:32 +00:00
waldemar%netscape.com
6111dd54aa Removed type-expression 2001-08-23 04:22:56 +00:00
waldemar%netscape.com
b2b2b87db6 Brought up to date to process formal/notation.html 2001-08-16 00:38:06 +00:00
waldemar%netscape.com
579cc4de87 Removed ' 2001-04-12 04:32:52 +00:00
waldemar%netscape.com
bb582ee77f Added support for more html elements 2001-03-09 02:12:21 +00:00
waldemar%netscape.com
bc4670ec9f Initial version 2001-03-01 05:37:45 +00:00