| Sat, 08 Dec 2012 00:48:50 +0100 | blanchet | store evaluation output in a file | changeset | files |
| 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 |
| Sat, 08 Dec 2012 22:14:39 +0100 | wenzelm | added jfreechart library, including the old version of iText from its distribution (required for the demo application and examples); | changeset | files |
| Sat, 08 Dec 2012 13:25:49 +0100 | wenzelm | check consistent theory names for direct imports as well -- as claimed in the comments (see also 1cc36c0ec9eb); | changeset | files |