isabelle: Changelog

wenzelm [Fri, 19 Sep 2008 21:00:48 +0200] rev 28301

moved Isar editor commands from isar_syn.ML to isar.ML; P.props_text;

wenzelm [Fri, 19 Sep 2008 21:00:47 +0200] rev 28300

moved Isar editor commands from isar_syn.ML to isar.ML;

wenzelm [Fri, 19 Sep 2008 21:00:46 +0200] rev 28299

added Isar/isar.scala;

huffman [Fri, 19 Sep 2008 18:05:19 +0200] rev 28298

avoid using implicit assumptions

huffman [Fri, 19 Sep 2008 17:54:04 +0200] rev 28297

add theory graph to ZF document

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};

isabelle