2008-12-29 added methods "+" and "-";
wenzelm [Mon, 29 Dec 2008 15:13:53 +0100] rev 29191
added methods "+" and "-"; event: non-synchronized execution of handlers, based on synchronized snapshot;
2008-12-29 Generic event bus.
wenzelm [Mon, 29 Dec 2008 13:57:37 +0100] rev 29190
Generic event bus.
2008-12-29 eliminated fun/val confusion
haftmann [Mon, 29 Dec 2008 13:23:53 +0100] rev 29189
eliminated fun/val confusion
2008-12-28 merged
huffman [Sun, 28 Dec 2008 14:41:47 -0800] rev 29188
merged
2008-12-28 clean up proofs of lemma Maclaurin
huffman [Sun, 28 Dec 2008 14:40:43 -0800] rev 29187
clean up proofs of lemma Maclaurin
2008-12-28 disabled old jedit plugin;
wenzelm [Sun, 28 Dec 2008 23:20:57 +0100] rev 29186
disabled old jedit plugin;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip