| Mon, 29 Dec 2008 15:16:01 +0100 | wenzelm | explicit EventBus for results; | changeset | files |
| Mon, 29 Dec 2008 15:13:53 +0100 | wenzelm | added methods "+" and "-"; | changeset | files |
| Mon, 29 Dec 2008 13:57:37 +0100 | wenzelm | Generic event bus. | changeset | files |
| Mon, 29 Dec 2008 13:23:53 +0100 | haftmann | eliminated fun/val confusion | changeset | files |
| Sun, 28 Dec 2008 14:41:47 -0800 | huffman | merged | changeset | files |
| Sun, 28 Dec 2008 14:40:43 -0800 | huffman | clean up proofs of lemma Maclaurin | changeset | files |
| Sun, 28 Dec 2008 23:20:57 +0100 | wenzelm | disabled old jedit plugin; | changeset | files |