Fri, 28 Feb 1997 21:54:37 +0100 improved err msg;
wenzelm [Fri, 28 Feb 1997 21:54:37 +0100] rev 2706
improved err msg;
Fri, 28 Feb 1997 16:58:42 +0100 *** empty log message ***
wenzelm [Fri, 28 Feb 1997 16:58:42 +0100] rev 2705
*** empty log message ***
Fri, 28 Feb 1997 16:56:31 +0100 more robust handling of invocation errors;
wenzelm [Fri, 28 Feb 1997 16:56:31 +0100] rev 2704
more robust handling of invocation errors; added -m MODE option;
Fri, 28 Feb 1997 16:55:35 +0100 more robust handling of invocation errors;
wenzelm [Fri, 28 Feb 1997 16:55:35 +0100] rev 2703
more robust handling of invocation errors;
Fri, 28 Feb 1997 16:54:32 +0100 now uses -m symbols;
wenzelm [Fri, 28 Feb 1997 16:54:32 +0100] rev 2702
now uses -m symbols;
Fri, 28 Feb 1997 16:47:56 +0100 split ast_of_term(T);
wenzelm [Fri, 28 Feb 1997 16:47:56 +0100] rev 2701
split ast_of_term(T); ast_of_term now marks frees; added token translation support;
Fri, 28 Feb 1997 16:46:26 +0100 added token translation support;
wenzelm [Fri, 28 Feb 1997 16:46:26 +0100] rev 2700
added token translation support;
Fri, 28 Feb 1997 16:45:38 +0100 term_of_... now mark class, tfree, tvar;
wenzelm [Fri, 28 Feb 1997 16:45:38 +0100] rev 2699
term_of_... now mark class, tfree, tvar;
Fri, 28 Feb 1997 16:44:30 +0100 added mark_bound(T), variant_abs';
wenzelm [Fri, 28 Feb 1997 16:44:30 +0100] rev 2698
added mark_bound(T), variant_abs'; trfuns now mark bounds they introduce!! added pure_trfunsT;
Fri, 28 Feb 1997 16:42:06 +0100 Token translations for xterm and LaTeX output.
wenzelm [Fri, 28 Feb 1997 16:42:06 +0100] rev 2697
Token translations for xterm and LaTeX output.
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip