Sun, 08 May 2005 22:18:12 +0200 wenzelm MAILTO: makarius@sketis.net
Fri, 06 May 2005 18:01:44 +0200 dixon lucas - added ability to provide multiple replacements for subst: syntax is now: subst (1 3) myrule
Fri, 06 May 2005 16:03:56 +0200 haftmann added notes for mac os
Fri, 06 May 2005 15:00:08 +0200 haftmann Added notes for installation on Windows
Fri, 06 May 2005 11:33:19 +0200 haftmann added option 'tidy=' to makefile, for optional processing of results by HTML tidy
Fri, 06 May 2005 11:30:10 +0200 haftmann replaced some outdated HTML by more modern constructs
Fri, 06 May 2005 08:37:39 +0200 haftmann added new antiquotations
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip