isabelle: Changelog

wenzelm [Wed, 07 Sep 2011 21:05:53 +0200] rev 44802

explicit join_syntax ensures command transaction integrity of 'theory';

wenzelm [Wed, 07 Sep 2011 20:49:45 +0200] rev 44801

some updates for release;

wenzelm [Wed, 07 Sep 2011 20:29:54 +0200] rev 44800

some tuning for release;

wenzelm [Wed, 07 Sep 2011 18:01:01 +0200] rev 44799

updated file locations;

wenzelm [Wed, 07 Sep 2011 17:42:57 +0200] rev 44798

merged

bulwahn [Wed, 07 Sep 2011 14:58:40 +0200] rev 44797

merged

bulwahn [Wed, 07 Sep 2011 13:51:39 +0200] rev 44796

removing previously used function locally_monomorphic in the code generator

bulwahn [Wed, 07 Sep 2011 13:51:38 +0200] rev 44795

setting const_sorts to false in the type inference of the code generator

bulwahn [Wed, 07 Sep 2011 13:51:37 +0200] rev 44794

adapting Imperative HOL serializer to changes of the iterm datatype in the code generator

bulwahn [Wed, 07 Sep 2011 13:51:36 +0200] rev 44793

removing previous crude approximation to add type annotations to disambiguate types

isabelle