isabelle: Changelog

wenzelm [Wed, 03 Jul 2013 23:26:09 +0200] rev 52517

tuned message;

wenzelm [Wed, 03 Jul 2013 23:02:00 +0200] rev 52516

more exception handling -- make print functions total;

wenzelm [Wed, 03 Jul 2013 22:30:33 +0200] rev 52515

more print function parameters; check command_visible statically in assignment, instead of dynamically in execution;

wenzelm [Wed, 03 Jul 2013 21:55:15 +0200] rev 52514

tuned;

wenzelm [Wed, 03 Jul 2013 21:38:10 +0200] rev 52513

discontinued odd workaround for some old Poly/ML, which is still supported but of little practical relevance;

wenzelm [Wed, 03 Jul 2013 21:32:58 +0200] rev 52512

tuned;

wenzelm [Wed, 03 Jul 2013 17:50:47 +0200] rev 52511

allow multiple print functions;

wenzelm [Wed, 03 Jul 2013 16:58:35 +0200] rev 52510

tuned signature;

wenzelm [Wed, 03 Jul 2013 16:19:57 +0200] rev 52509

tuned signature;

wenzelm [Wed, 03 Jul 2013 15:19:36 +0200] rev 52508

tuned;

isabelle