K 10
svn:author
V 3
rrh
K 8
svn:date
V 27
1982-02-14T16:26:21.000000Z
K 24
svn:entry:committed-date
V 27
1982-02-14T16:26:21.000000Z
K 7
svn:log
V 143
This file now includes the awk script that processes this file.
To create instrs.as: (echo FLAVOR AS; cat instrs) | awk -f instrs > instrs.as


END
