wenzelm [Tue, 17 May 2005 18:10:42 +0200] rev 15989
re-init ml_prompts after loop termination;
wenzelm [Tue, 17 May 2005 18:10:41 +0200] rev 15988
renamed show_var_qmarks to show_question_marks;
renamed TermStyle.lookup_style to TermStyle.the_style;
wenzelm [Tue, 17 May 2005 18:10:40 +0200] rev 15987
Syntax.read_variable;
wenzelm [Tue, 17 May 2005 18:10:39 +0200] rev 15986
renamed show_var_qmarks to show_question_marks;
string_of_vname: improved treatment of \<^isub> and \<^isup>;
wenzelm [Tue, 17 May 2005 18:10:38 +0200] rev 15985
renamed show_var_qmarks to show_question_marks;
var_or_skolem: proper treatment of show_question_marks via Syntax.read_variable;
wenzelm [Tue, 17 May 2005 18:10:37 +0200] rev 15984
updated;
wenzelm [Tue, 17 May 2005 18:10:36 +0200] rev 15983
renamed show_var_qmarks to show_question_marks;
wenzelm [Tue, 17 May 2005 18:10:35 +0200] rev 15982
removed ISAMODE settings;
wenzelm [Tue, 17 May 2005 18:10:34 +0200] rev 15981
no longer support isa-FOO interface;
removed Isamode;
tuned;
wenzelm [Tue, 17 May 2005 18:10:33 +0200] rev 15980
no longer support isa-FOO interface;