isabelle: Changelog

huffman [Sun, 28 Mar 2010 12:49:14 -0700] rev 36008

add/change some lemmas about lattices

huffman [Sun, 28 Mar 2010 10:34:02 -0700] rev 36007

cleaned up some proofs

boehmes [Mon, 29 Mar 2010 09:06:34 +0200] rev 36006

the configuration option 'trace_simp' now uses the reference of the ProofGeneral settings menu as (dynamic) default value

wenzelm [Sun, 28 Mar 2010 19:34:08 +0200] rev 36005

merged

wenzelm [Sun, 28 Mar 2010 19:20:52 +0200] rev 36004

implicit checkpoint in Local_Theory.theory as well -- no longer export Local_Theory.checkpoint;

blanchet [Sun, 28 Mar 2010 18:39:27 +0200] rev 36003

make SML/NJ happy

wenzelm [Sun, 28 Mar 2010 17:43:09 +0200] rev 36002

pass raw Context.generic, to avoid wasteful Context.proof_of -- Config.get_thy is often used in performance critical spots like unify.ML;

wenzelm [Sun, 28 Mar 2010 16:59:06 +0200] rev 36001

static defaults for configuration options;

wenzelm [Sun, 28 Mar 2010 16:13:29 +0200] rev 36000

configuration options admit dynamic default values;

wenzelm [Sun, 28 Mar 2010 16:29:51 +0200] rev 35999

tuned;

isabelle