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;
Sat, 16 Apr 2005 18:57:53 +0200 identify binder translations only once (admits remove);
wenzelm [Sat, 16 Apr 2005 18:57:53 +0200] rev 15751
identify binder translations only once (admits remove);
Sat, 16 Apr 2005 18:57:39 +0200 Syntax.mk_trfun;
wenzelm [Sat, 16 Apr 2005 18:57:39 +0200] rev 15750
Syntax.mk_trfun;
Sat, 16 Apr 2005 18:57:18 +0200 tuned (t)inst_tab_elem;
wenzelm [Sat, 16 Apr 2005 18:57:18 +0200] rev 15749
tuned (t)inst_tab_elem;
Sat, 16 Apr 2005 18:56:48 +0200 added 'no_syntax' command;
wenzelm [Sat, 16 Apr 2005 18:56:48 +0200] rev 15748
added 'no_syntax' command;
Sat, 16 Apr 2005 18:56:37 +0200 added del_modesyntax(_i);
wenzelm [Sat, 16 Apr 2005 18:56:37 +0200] rev 15747
added del_modesyntax(_i);
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip