Fix indexing of a few operators, particularly (\\), which was making a
authorRoss Paterson <ross@soi.city.ac.uk>
Tue, 3 Dec 2002 10:27:22 +0000 (10:27 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Tue, 3 Dec 2002 10:27:22 +0000 (10:27 +0000)
commit025b7978edf34af5f114ef655274199b26bb2de4
treee710ea75dc3f42adb5804cf505a665daa791b403
parenta0d58cd3a5d8e83af1139301714602ff348ca542
Fix indexing of a few operators, particularly (\\), which was making a
a small mess.
report/array.verb
report/basic.verb
report/decls.verb
report/derived.verb
report/index-extra.verb
report/list.verb
report/ratio.verb
tools/splitAndIndexPgm