more direct invalidateScreenLineRange after changed assignment;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50770 82d48783fd7ad6856e492ced5c2fafa83a9148cf
more aggressive update -- potentially relevant for previously is_outdated output;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50773 205d12333fdc7035db3516b71197776ca11b33b6
upper bound for font size;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50775 8c1cda8ad83306a2bca6533052a8af07b4122bdb
include timing properties in log;
general Properties.parse operations;
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50777 20126dd9772c973118879a6878acfd9e6c66f1e7
standardized treatment of timing properties;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50781 a0f22c2d60ccd4f815cdd6d05a96bd11bda6cd0d
build browser more robustly before startup;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50782 a26f7cf81d2f416d12087ca6866db80164a62224
create required PREFS_DIR;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50793 b93484db43edc440713884e64527b891be3db124
refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50795 69810ebe120fbe32baf1e8774ca87a7418cc6980
Console is not docked on startup;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50796 2d68df7ed89d10797c13bf410e911fb0689ee42f
dock "Theories" right, although it might obscure some control buttons;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50803 8a1ea6b00aced0a84e78a07bf5b01041dc6639f8
prefer system build mode in main application wrappers, to produce heaps insided distribution directory;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50805 69439c9defec36ae5fcf85ffd60f4b694c7bdbf7
more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50808 1702ed63c2db6632f3ebb851a2a3e04345a122ec
immediate theory progress for build_dialog;
more formal Bash_Result -- accumulate output as lines;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50845 477ca927676f8a79ad0b4d3d3becd5596d9ded92
more uniform theory progress in build -v and build_dialog;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50846 529e652d389dea840c23dbfa8754eb17792afd8d
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50847 78c40f1cc9b3be4ba364338b3a9dd84672b42f4c
tuned build_dialog: auto_close checkbox avoids user sitting and waiting;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50848 4e123d57c9b448b9ea385520f3305f3f946bbcc1
more uniform Pretty.char_width;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50849 70f7483df9cbf520ab9db6af04ef9f17bff9c909
tuned font size, notably for current HD displays;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50850 4cd2d090be8f89c801563569964d64923a3e6d27
forced scroll to bottom, for improved cross-platform appearance;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50852 a667ac8c7afee20010fdd81207e662bb8fad1bb0
lower bound to font size for the sake of Mac OS X (cf. 4cd2d090be8f);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50853 86389991636e4a79c4f38bb51811b67ed63a5e5b