chiark / gitweb /
strayman
20 years agoNumbering-within macros added.
mdw [Fri, 7 Nov 2003 11:32:53 +0000 (11:32 +0000)]
Numbering-within macros added.

21 years agoVarious tweaks. 1.1.2
mdw [Sat, 6 Sep 2003 11:25:28 +0000 (11:25 +0000)]
Various tweaks.

22 years agoReplace with the good installer from mdwtools.
mdw [Sun, 24 Feb 2002 12:46:09 +0000 (12:46 +0000)]
Replace with the good installer from mdwtools.

22 years agoFix banners.
mdw [Sun, 24 Feb 2002 12:45:56 +0000 (12:45 +0000)]
Fix banners.

22 years agoInitial revision. 1.1.0
mdw [Tue, 19 Feb 2002 23:27:57 +0000 (23:27 +0000)]
Initial revision.