isabelle: Changelog

boehmes [Wed, 02 Sep 2009 16:02:37 +0200] rev 32495

removed unused signature

wenzelm [Wed, 02 Sep 2009 20:49:04 +0200] rev 32494

explicit checks;

wenzelm [Wed, 02 Sep 2009 17:33:25 +0200] rev 32493

updated Poly/ML SVN version;

wenzelm [Wed, 02 Sep 2009 16:51:19 +0200] rev 32492

eval/location_props: always produce YXML markup, independent of print_mode;

wenzelm [Wed, 02 Sep 2009 16:25:44 +0200] rev 32491

reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;

wenzelm [Wed, 02 Sep 2009 14:11:45 +0200] rev 32490

tuned ML message;

nipkow [Wed, 02 Sep 2009 12:20:17 +0200] rev 32489

added "using" to blacklist

wenzelm [Wed, 02 Sep 2009 10:54:52 +0200] rev 32488

merged

wenzelm [Wed, 02 Sep 2009 10:35:47 +0200] rev 32487

merged

wenzelm [Tue, 01 Sep 2009 21:40:10 +0200] rev 32486

removed old Isar document model;

isabelle