wneuper/isa: Changelog

Mercurial Mercurial > wneuper > isa / changelog

Wed, 09 Jun 2010 18:24:23 +0200obsolete;

changeset

wenzelm [Wed, 09 Jun 2010 18:24:23 +0200] rev 37472

obsolete;

Wed, 09 Jun 2010 16:23:00 +0200explicit treatment of empty exception block, which could lead to confusing output (e.g. in the theory loader), or even prevent error output altogether;

changeset

wenzelm [Wed, 09 Jun 2010 16:23:00 +0200] rev 37471

explicit treatment of empty exception block, which could lead to confusing output (e.g. in the theory loader), or even prevent error output altogether;

Wed, 09 Jun 2010 15:09:00 +0200contrib/README;

changeset

wenzelm [Wed, 09 Jun 2010 15:09:00 +0200] rev 37470

contrib/README;

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

changeset

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

removed outdated/confusing INSTALL file;

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

changeset

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

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 +0200disable 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 37467

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 +0200Added tag isa2009-2-test2 for changeset dfca6c4cd1e8

changeset

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

Added tag isa2009-2-test2 for changeset dfca6c4cd1e8

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

changeset

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

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

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

changeset

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

merged;