Sun, 08 May 2005 22:18:12 +0200 MAILTO: makarius@sketis.net
wenzelm [Sun, 08 May 2005 22:18:12 +0200] rev 15937
MAILTO: makarius@sketis.net
Fri, 06 May 2005 18:01:44 +0200 lucas - added ability to provide multiple replacements for subst: syntax is now: subst (1 3) myrule
dixon [Fri, 06 May 2005 18:01:44 +0200] rev 15936
lucas - added ability to provide multiple replacements for subst: syntax is now: subst (1 3) myrule
Fri, 06 May 2005 16:03:56 +0200 added notes for mac os
haftmann [Fri, 06 May 2005 16:03:56 +0200] rev 15935
added notes for mac os
Fri, 06 May 2005 15:00:08 +0200 Added notes for installation on Windows
haftmann [Fri, 06 May 2005 15:00:08 +0200] rev 15934
Added notes for installation on Windows
Fri, 06 May 2005 11:33:19 +0200 added option 'tidy=' to makefile, for optional processing of results by HTML tidy
haftmann [Fri, 06 May 2005 11:33:19 +0200] rev 15933
added option 'tidy=' to makefile, for optional processing of results by HTML tidy
Fri, 06 May 2005 11:30:10 +0200 replaced some outdated HTML by more modern constructs
haftmann [Fri, 06 May 2005 11:30:10 +0200] rev 15932
replaced some outdated HTML by more modern constructs
Fri, 06 May 2005 08:37:39 +0200 added new antiquotations
haftmann [Fri, 06 May 2005 08:37:39 +0200] rev 15931
added new antiquotations
Fri, 06 May 2005 03:47:44 +0200 Replaced all unnecessary uses of SOME with THE or LEAST
huffman [Fri, 06 May 2005 03:47:44 +0200] rev 15930
Replaced all unnecessary uses of SOME with THE or LEAST
Thu, 05 May 2005 13:21:05 +0200 lucas - added option to select occurance to rewrite e.g. (occ 4)
dixon [Thu, 05 May 2005 13:21:05 +0200] rev 15929
lucas - added option to select occurance to rewrite e.g. (occ 4)
Thu, 05 May 2005 11:58:59 +0200 lucas - made clean unify smash unifiers so that when we get flex-flex constraints subst does not barf. Also added fix_vars_upto_idx to IsaND.
dixon [Thu, 05 May 2005 11:58:59 +0200] rev 15928
lucas - made clean unify smash unifiers so that when we get flex-flex constraints subst does not barf. Also added fix_vars_upto_idx to IsaND.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip