Changeset 5807b05 in report for tools


Ignore:
Timestamp:
Dec 2, 2002 11:22:03 AM (17 years ago)
Author:
Simon Peyton Jones <simonpj@…>
Branches:
h2010, h98, master
Children:
0e597cc
Parents:
a5f5415
Message:

Just pre-CUP-publication version
————————————————

Includes all the changes that are in the CUP published version,
but still as two separate reports. Next thing to do is to merge them.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/tex.hs

    ra5f5415 r5807b05  
    979979               ("see",doSee),
    980980-- For mpj:
     981               ("in", emitSymc 8712),
    981982               ("ts",ignore 0),
    982983               ("la",use "<"),
Note: See TracChangeset for help on using the changeset viewer.