isabelle: Changelog

haftmann [Fri, 19 Sep 2008 09:41:17 +0200] rev 28296

made SMLNJ happy

wenzelm [Thu, 18 Sep 2008 22:30:17 +0200] rev 28295

jar: include sources;

wenzelm [Thu, 18 Sep 2008 20:12:02 +0200] rev 28294

tuned;

wenzelm [Thu, 18 Sep 2008 19:39:50 +0200] rev 28293

eval_term: CRITICAL due to eval_result; simplified oracle interface;

wenzelm [Thu, 18 Sep 2008 19:39:49 +0200] rev 28292

begin_theory: Theory.checkpoint for immediate uses ensures that ML evaluation always starts with non-draft @{theory};

wenzelm [Thu, 18 Sep 2008 19:39:47 +0200] rev 28291

updated generated file;

wenzelm [Thu, 18 Sep 2008 19:39:44 +0200] rev 28290

simplified oracle interface;

wenzelm [Thu, 18 Sep 2008 14:06:58 +0200] rev 28289

show: non-critical testing;

wenzelm [Thu, 18 Sep 2008 14:06:56 +0200] rev 28288

added deriv.ML: Abstract derivations based on raw proof terms.

krauss [Thu, 18 Sep 2008 12:13:50 +0200] rev 28287

termination prover for "fun" can be configured using context data.

isabelle