improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52439 4cf3f6153eb8cee65aabc0fa0b6d18ddc717af84
misc tuning and clarification;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52442 d3c5195b739906ba7fe87523891df09000a8252a
more formal isabelle_admin_build;
tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52443 725916b7dee57fd6bb3404bc0fe0efcf3ab05d0f
slightly improved "isabelle doc" based on Isabelle/Scala;
updated documentation of "isabelle display";

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52444 2cfe6656d6d6becf8275a703a40bb8bbd26fe624
dockable window for Isabelle documentation;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52445 18a720984855b7138933d59185c91f69b26acac1
more robust Doc.view invocation: avoid executing process on GUI thread, but show errors as dialog;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52447 9a74000426e2f4a069794c736be88221f6649df5
clarified ISABELLE_DOC_FORMAT -- eliminated slightly odd fall-back;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52448 082a1c8c2c89364d8649372dd4bfba875b75676c