isabelle: Changelog

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;

isabelle