more general exit;
tuned -- avoid warning about catch-all handler;
tuned;
clarified exit code for the rare situation where Runtime.exn_error_message might fail;
tuned;
favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
accomodate scala-2.11.0: evade somewhat erratic fix of ImmutableSetFactory in Scala/bfa70315d72d;
no need to copy jars, after regular use of classpath in 793a429c63e7;
updated to scala-2.11.0 with classpath provided by its etc/settings;
avoid octal escape literals -- deprecated in scala-2.11.0;
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
remove add_eq_zero_iff, it is replaced by add_nonneg_eq_0_iff; also removes it from the simpset
tuned whitespace
added 'inj_map' as auxiliary BNF theorem
declare 'bool' and its proxies as a datatype for SPASS-Pirate
invoke 'fp_sugar' interpretation hook on mutually recursive clique
generate size instances for new-style datatypes
made old-style 'size' interpretation hook more robust in case 'size' is already specified (either by the user or by the new datatype package)
generate 'rec_o_map' and 'size_o_map' in size extension