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;
Sat, 16 Apr 2005 18:58:55 +0200 expect translations functions to be stamped already;
wenzelm [Sat, 16 Apr 2005 18:58:55 +0200] rev 15755
expect translations functions to be stamped already; added remove_const_gram;
Sat, 16 Apr 2005 18:58:30 +0200 added stamp_trfun, mk_trfun, eq_trfun;
wenzelm [Sat, 16 Apr 2005 18:58:30 +0200] rev 15754
added stamp_trfun, mk_trfun, eq_trfun;
Sat, 16 Apr 2005 18:58:18 +0200 tuned extend_prtabs;
wenzelm [Sat, 16 Apr 2005 18:58:18 +0200] rev 15753
tuned extend_prtabs; added remove_prtabs;
Sat, 16 Apr 2005 18:58:09 +0200 added make_gram;
wenzelm [Sat, 16 Apr 2005 18:58:09 +0200] rev 15752
added make_gram; merge_gram: do not add chain productions to prods;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip