always compare theorem using the same, weaker function

tuned

set show_markup to false in order to avoid problems in jedit

merged

tuned

merged

added some ereal_of_enat_* lemmas (from $AFP/thys/Girth_Chromatic)

explicit references avoid dynamic lookup

sharing of recursive results on evaluation

removed debugging code

make name table work the way it was intended to

export MeSh data as well

merged

manage cygwin as bundled quasi-component;

tuned;

outermost directory structure for Windows/Cygwin;

updated for release;

more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";

clarified cygwin/isabelle scripts;

more systematic makedist_cygwin;

prefer system build mode in main application wrappers, to produce heaps insided distribution directory;

tuned proofs;

dock "Theories" right, although it might obscure some control buttons;

scala-2.9.2 is still supported;

made SML/NJ happy;

recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x;

minor update;

purge other platforms uniformly;