isabelle: Changelog

wenzelm [Sat, 27 Jun 2009 19:24:34 +0200] rev 31821

isabelle_path: slightly more liberal root pattern;

wenzelm [Sat, 27 Jun 2009 18:46:08 +0200] rev 31820

added isabelle_path; tuned platform_path; tuned comments;

wenzelm [Sat, 27 Jun 2009 17:35:08 +0200] rev 31819

tune File.isabelle_tool signature;

wenzelm [Sat, 27 Jun 2009 17:34:48 +0200] rev 31818

builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin);

nipkow [Sat, 27 Jun 2009 10:26:42 +0200] rev 31817

removed old primrecs

nipkow [Sat, 27 Jun 2009 09:43:41 +0200] rev 31816

replaced recdefs by funs

wenzelm [Fri, 26 Jun 2009 20:54:15 +0200] rev 31815

tuned abbrevs;

nipkow [Fri, 26 Jun 2009 19:44:39 +0200] rev 31814

lcm abs lemmas

nipkow [Fri, 26 Jun 2009 10:46:33 +0200] rev 31813

gcd abs lemmas

hoelzl [Thu, 25 Jun 2009 20:26:17 +0200] rev 31812

NEWS updated

isabelle