isabelle: Changelog

wenzelm [Fri, 20 Nov 2009 15:48:36 +0100] rev 33822

provide standard isabelle make targets; slightly more accurate dependencies;

wenzelm [Fri, 20 Nov 2009 15:34:11 +0100] rev 33821

merged

wenzelm [Fri, 20 Nov 2009 15:33:10 +0100] rev 33820

load ML directly into theory Code_Generator (quickcheck also requires this);

kleing [Fri, 20 Nov 2009 22:38:41 +1100] rev 33819

made script executable

kleing [Fri, 20 Nov 2009 22:28:39 +1100] rev 33818

added NEWS item for wwwfind

kleing [Fri, 20 Nov 2009 18:36:44 +1100] rev 33817

WWW_Find component: find_theorems via web browser

wenzelm [Fri, 20 Nov 2009 10:40:30 +0100] rev 33816

merged

nipkow [Fri, 20 Nov 2009 09:22:14 +0100] rev 33815

merged

nipkow [Fri, 20 Nov 2009 09:21:59 +0100] rev 33814

Rene tuned proof

huffman [Fri, 20 Nov 2009 00:06:04 -0800] rev 33813

example theory for new domain package

isabelle