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
haftmann [Fri, 06 May 2005 16:03:56 +0200] rev 15935
added notes for mac os
haftmann [Fri, 06 May 2005 15:00:08 +0200] rev 15934
Added notes for installation on Windows
haftmann [Fri, 06 May 2005 11:33:19 +0200] rev 15933
added option 'tidy=' to makefile, for optional processing of results by HTML tidy
haftmann [Fri, 06 May 2005 11:30:10 +0200] rev 15932
replaced some outdated HTML by more modern constructs
haftmann [Fri, 06 May 2005 08:37:39 +0200] rev 15931
added new antiquotations
huffman [Fri, 06 May 2005 03:47:44 +0200] rev 15930
Replaced all unnecessary uses of SOME with THE or LEAST
dixon [Thu, 05 May 2005 13:21:05 +0200] rev 15929
lucas - added option to select occurance to rewrite e.g. (occ 4)
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.
dixon [Thu, 05 May 2005 11:56:00 +0200] rev 15927
lucas - added update node function.