chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
mdw [Fri, 7 Nov 2003 11:32:53 +0000 (11:32 +0000)]
Numbering-within macros added.
mdw [Sat, 6 Sep 2003 11:25:28 +0000 (11:25 +0000)]
Various tweaks.
mdw [Sun, 24 Feb 2002 12:46:09 +0000 (12:46 +0000)]
Replace with the good installer from mdwtools.
mdw [Sun, 24 Feb 2002 12:45:56 +0000 (12:45 +0000)]
Fix banners.
mdw [Tue, 19 Feb 2002 23:27:57 +0000 (23:27 +0000)]
Initial revision.