chiark / gitweb /
anag
2001-02-07 mdwFix spurious error when `-file' is used.
2001-02-07 mdwOptimize the graph by removing edges to non-matching...
2001-02-06 mdwFind a suitable Java compiler. If there isn't one...
2001-02-06 mdwRemove redundant rule.
2001-02-06 mdwClean the .jar file.
2001-02-04 mdwSimple GUI front-end in Java.
2001-02-04 mdwRemove debugging.
2001-02-04 mdwInitial checkin