A new version of RUNOFF.git in github is now published. Get it with git clone g...@github.com:RUNOFF/RUNOFF.git
It has become quite large now, 464.3MiB unpacked with 12134 files. It now contains most internet files related to RUNOFF, with - many files written in RUNOFF - and a lot of documents, many of which could not be processed so far. But runoff.7 might be good enough for a first version of a RUNOFF predecessor. Bernd Warken