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.
berghofe [Wed, 04 May 2005 18:50:39 +0200] rev 15926
Added eta_long attribute.
berghofe [Wed, 04 May 2005 18:50:21 +0200] rev 15925
Added eta_long_conversion.
paulson [Wed, 04 May 2005 10:44:53 +0200] rev 15924
eta-expansion