commit | 86288976b63cbf1d178ea05962bb59630d71aca0 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 28 14:18:58 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 28 14:18:58 1996 +0000 |
tree | 765b9ef88d446a5371b191226e1479016da69bda | |
parent | a662cf401a34b5a55a5238dbfb8e257a6af95213 [diff] |
Completely revamped: it now uses separate instruction files per distribution. Also, the user interface has been cleaned up a bit.