webertj [Tue, 19 Apr 2005 00:14:27 +0200] rev 15768
compilation error fixed
webertj [Mon, 18 Apr 2005 17:20:49 +0200] rev 15767
support for recursion over mutually recursive IDTs
ballarin [Mon, 18 Apr 2005 15:54:23 +0200] rev 15766
Cleaned up, now use interpretation.
ballarin [Mon, 18 Apr 2005 15:53:51 +0200] rev 15765
Cleaned up, now uses interpretation.
paulson [Mon, 18 Apr 2005 10:36:05 +0200] rev 15764
deleted obsolete code
ballarin [Mon, 18 Apr 2005 09:25:23 +0200] rev 15763
Interpretation supports statically scoped attributes; documentation.
wenzelm [Sun, 17 Apr 2005 19:40:43 +0200] rev 15762
updated;
wenzelm [Sun, 17 Apr 2005 19:40:34 +0200] rev 15761
added delete_safe, insert, remove, remove_multi;
tuned;
wenzelm [Sun, 17 Apr 2005 19:39:39 +0200] rev 15760
clarified insert/remove;
tuned canonical fold/fold_rev;
wenzelm [Sun, 17 Apr 2005 19:39:11 +0200] rev 15759
tuned;