tuned imports;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51613 81f8da412b7f53e7daf6f5c91e63baa813febf0a
separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51614 22d1dd43f08915e9634586f46237c90d3ce0e089
separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51615 072a7249e1ac10f23244b54d329f7968ad01bfe4
tuned signature -- concentrate GUI tools;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51616 949e2cf02a3df7c0be902d4cd48bc8cbb78b34f6
tuned signature -- concentrate GUI tools;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51617 4e49bba9772d055c9cddce24f422406adaa532fb
tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51618 a3577cd80c41402b67fc5b1f4c64448dd017d349
added missing file;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51619 95b7da3430d49bca9131344583d94da8e17941ec
more conventional synchronized access to Options_Variable -- avoid Swing_Thread getting in the way, which might be absent in some environments (e.g. SWT);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51620 7c39677f9ea05fe285588a673f9ae9ed62a41271
tuned README -- less buzzwords;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51621 8c0f6caba80e70dd0fd7ab48616f850deb119ac0
tuned signature -- agree with markup terminology;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51627 589daaf48dba5c7f4d7595f39b4afa7989b05d1c
more general Thy_Load.import_name, e.g. relevant for Isabelle/eclipse -- NB: Thy_Load serves as main hub for funny overriding to adapt to provers and editors;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51634 553953ad8165edbfbbdb65560be67a4062f34eaa
just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51662 3391a493f39a7a10bedece602b553a639ea8143d
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51663 098f3cf6c809d9619cadfe5b8af78ba0373e2acc
public Isabelle_Process.xml_cache (thread-safe);
cache derived status messages;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51664 080ef458f21ae39048e2e93a4bfb035581dd5339