Mon, 18 Apr 2005 15:53:51 +0200 Cleaned up, now uses interpretation.
ballarin [Mon, 18 Apr 2005 15:53:51 +0200] rev 15765
Cleaned up, now uses interpretation.
Mon, 18 Apr 2005 10:36:05 +0200 deleted obsolete code
paulson [Mon, 18 Apr 2005 10:36:05 +0200] rev 15764
deleted obsolete code
Mon, 18 Apr 2005 09:25:23 +0200 Interpretation supports statically scoped attributes; documentation.
ballarin [Mon, 18 Apr 2005 09:25:23 +0200] rev 15763
Interpretation supports statically scoped attributes; documentation.
Sun, 17 Apr 2005 19:40:43 +0200 updated;
wenzelm [Sun, 17 Apr 2005 19:40:43 +0200] rev 15762
updated;
Sun, 17 Apr 2005 19:40:34 +0200 added delete_safe, insert, remove, remove_multi;
wenzelm [Sun, 17 Apr 2005 19:40:34 +0200] rev 15761
added delete_safe, insert, remove, remove_multi; tuned;
Sun, 17 Apr 2005 19:39:39 +0200 clarified insert/remove;
wenzelm [Sun, 17 Apr 2005 19:39:39 +0200] rev 15760
clarified insert/remove; tuned canonical fold/fold_rev;
Sun, 17 Apr 2005 19:39:11 +0200 tuned;
wenzelm [Sun, 17 Apr 2005 19:39:11 +0200] rev 15759
tuned;
Sun, 17 Apr 2005 19:38:53 +0200 binds/thms: do not store options, but delete from table;
wenzelm [Sun, 17 Apr 2005 19:38:53 +0200] rev 15758
binds/thms: do not store options, but delete from table; tuned;
Sun, 17 Apr 2005 19:38:40 +0200 tuned comments;
wenzelm [Sun, 17 Apr 2005 19:38:40 +0200] rev 15757
tuned comments;
Sun, 17 Apr 2005 19:38:30 +0200 removed;
wenzelm [Sun, 17 Apr 2005 19:38:30 +0200] rev 15756
removed;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip