20 years ago f9355efb2e rsc
(Will this process ever reach a fixed point?)
20 years ago d2c4ee9e48 rsc
Tweaks to build properly on Linux.
20 years ago fd04aacee1 rsc
Various additions and fixes.