isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Wed, 09 Jun 2010 14:08:08 +0200 removed outdated/confusing INSTALL file;

changeset

wenzelm [Wed, 09 Jun 2010 14:08:08 +0200] rev 37368

removed outdated/confusing INSTALL file;

Tue, 08 Jun 2010 17:45:39 +0200 clarified font_family vs. font_family_default;

changeset

wenzelm [Tue, 08 Jun 2010 17:45:39 +0200] rev 37367

clarified font_family vs. font_family_default; install_fonts: refrain from any magic that does not really work on Mac OS, but introduces strange problems on other platforms;

Tue, 08 Jun 2010 13:51:25 +0200 disable set_styles for now -- there are still some race conditions of PropertiesChanged vs. TextArea painting (NB: without it Isabelle_Token_Marker will crash if sub/superscript is actually used);

changeset

wenzelm [Tue, 08 Jun 2010 13:51:25 +0200] rev 37366

disable set_styles for now -- there are still some race conditions of PropertiesChanged vs. TextArea painting (NB: without it Isabelle_Token_Marker will crash if sub/superscript is actually used);

Mon, 07 Jun 2010 21:48:24 +0200 Added tag isa2009-2-test2 for changeset dfca6c4cd1e8

changeset

wenzelm [Mon, 07 Jun 2010 21:48:24 +0200] rev 37365

Added tag isa2009-2-test2 for changeset dfca6c4cd1e8

Mon, 07 Jun 2010 19:21:00 +0200 more uniform treatment of options and attributes, preferring formal markup over old-style LaTeX macros;

changeset

wenzelm [Mon, 07 Jun 2010 19:21:00 +0200] rev 37364

more uniform treatment of options and attributes, preferring formal markup over old-style LaTeX macros;

Mon, 07 Jun 2010 18:09:18 +0200 merged;

changeset

wenzelm [Mon, 07 Jun 2010 18:09:18 +0200] rev 37363

merged;