isabelle: Changelog

wenzelm [Mon, 29 Dec 2008 16:44:49 +0100] rev 29195

more markup elements;

wenzelm [Mon, 29 Dec 2008 15:23:56 +0100] rev 29194

tuned;

wenzelm [Mon, 29 Dec 2008 15:16:25 +0100] rev 29193

merged

wenzelm [Mon, 29 Dec 2008 15:16:01 +0100] rev 29192

explicit EventBus for results; removed low-level get_result/try_result;

wenzelm [Mon, 29 Dec 2008 15:13:53 +0100] rev 29191

added methods "+" and "-"; event: non-synchronized execution of handlers, based on synchronized snapshot;

wenzelm [Mon, 29 Dec 2008 13:57:37 +0100] rev 29190

Generic event bus.

haftmann [Mon, 29 Dec 2008 13:23:53 +0100] rev 29189

eliminated fun/val confusion

huffman [Sun, 28 Dec 2008 14:41:47 -0800] rev 29188

merged

huffman [Sun, 28 Dec 2008 14:40:43 -0800] rev 29187

clean up proofs of lemma Maclaurin

wenzelm [Sun, 28 Dec 2008 23:20:57 +0100] rev 29186

disabled old jedit plugin;

isabelle