| Sat, 08 Dec 2012 00:48:50 +0100 | blanchet | use parallel map | changeset | files |
| Sat, 08 Dec 2012 00:48:50 +0100 | blanchet | tweak MaSh fudge factors | changeset | files |
| Sat, 08 Dec 2012 00:48:50 +0100 | blanchet | more MaSh tweaking -- in particular, export the same facts in "MaSh_Export" as are later tried in "MaSh_Eval" | changeset | files |
| Sat, 08 Dec 2012 22:19:24 +0100 | wenzelm | basic monitor panel, using the powerful jfreechart library; | changeset | files |