1996-02-06 | clasohm | expanded tabs | file | diff | annotate |
1995-12-09 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
1995-06-22 | clasohm | removed \...\ inside strings | file | diff | annotate |
1994-11-28 | lcp | replaced "rules" by "defs" | file | diff | annotate |
1994-06-23 | lcp | modifications for cardinal arithmetic | file | diff | annotate |