| Sat, 19 Jul 2008 19:27:13 +0200 | bulwahn | added verification framework for the HeapMonad and quicksort as example for this framework | changeset | files |
| Sat, 19 Jul 2008 11:05:18 +0200 | wenzelm | build jedit plugin only if jedit is available; | changeset | files |
| Fri, 18 Jul 2008 22:03:20 +0200 | wenzelm | misc tuning; | changeset | files |