reverted parallel map idea -- appears to make success rate of ATPs less stable (might even lead to bias in favor of MePo)

fixed embarrassing off-by-one bug in MaSh's Mesh

store evaluation output in a file

use parallel map

tweak MaSh fudge factors

more MaSh tweaking -- in particular, export the same facts in "MaSh_Export" as are later tried in "MaSh_Eval"

basic monitor panel, using the powerful jfreechart library; sorted Isabelle menu entries -- this is mainly a catalog;

added jfreechart library, including the old version of iText from its distribution (required for the demo application and examples);

check consistent theory names for direct imports as well -- as claimed in the comments (see also 1cc36c0ec9eb);

make double-sure that the future scheduler is properly shutdown, otherwise its threads are made persistent and will deadlock with the fresh instance after reloading the image (NB: Present.finish involves another Par_List.map over document_variants and thus might fork again);

final report_status within SYNCHRONIZED part of scheduler loop: required for sanity of data;

adhoc recovery from spurious NPEs, similar quantum-effect behind 7c8ce63a3c00;

obsolete;

eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005); \usepackage{proof} only where required;