[developers] ICONS

Stephan Oepen oe at ifi.uio.no
Fri Jan 8 23:36:35 CET 2016


hiya,

> - similarly, I have messages from 7/14 and 8/14 with a proposal for
> SimpleMRS v1.1 from Mike

i implemented part of that revision in the LOGON tree, viz. input and
output of simple MRSs using the name ‘TOP’ rather than ‘LTOP’.  this
is a near-trivial change; would you want me to push it upstream
quickly?

cheers, oe



More information about the developers mailing list