not all Linuxen understand -Ssmpt= and defaults seem to be configured correctly now

default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);

removed generated stuff to avoid bit rot;

merged

Documented "incomplete" option of spark_end

Various improvements - show names of remaining VCs after spark_open and spark_vc - spark_status now also shows names of conclusions - spark_end now also accepts pending VCs, if "incomplete" option is given - VCs whose proofs contain oracles are no longer declared as proved in the corresponding *.prv file

no ml-platform-specific components

instantiate card_UNIV with nibble and code_numeral

change card_UNIV from itself to phantom type to avoid unnecessary closures in generated code

add generic phantom type

added universal jdk-6u31 as standard component;

added ProofGeneral-4.1 as standard component, which allows to discontinue special choosefrom magic eventually;

merged

adding a useful remark in the reference

more tests on lxbroy[234], which are 4 core Xeon machines;

moved crontab to lxbroy2, one of the newer server machines; avoid macbroy27 for now due to spurious NFS issues;

some files for universal JDK 1.6.0_31 component;

corrected name of components file

prefer stderr for warnings

include jedut_build among canonical components

support for platform-specific components

correction: proper initialization of existing component

snippet to be sourced in user settings file in order to initialize components for a repository revision; the initialization is »liberal« since there is no obvious solution yet for components whose distribution is restricted

more standard filename for common components

updated crontab on macbroy27 and macbroy2;

use macbroy27 instead of macbroy28, which is broken for several weeks already;

reintroduced "t@" encoding, this time sound

compile

tuning

renamed experimental option