merged

made field_simps "more complete"

shell functions for all Isabelle executables;

renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;

more source positions;

clarified position: no offset here;

more source positions;

approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;

clarified ML bootstrap;

prepare "back" position for Navigator, before following hyperlink;

tuned;

merged

more uniform build options;

re-implemented build_doc in Isabelle/Scala; clarified command-line: specify documentation files (via document_variants) instead of sessions;

more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;

more standard hash-bang (python *is* canonical according to Admin/PLATFORMS);

tuned -- just one qualification of sections ("!");

tuned error;

proper settings instead of hard-wired information;

explicit indication of important doc sections ("!"), which are expanded in the tree view;

clarified Doc entry: more explicit path; allow plain files as Doc; refer to official jEdit documentation;

updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);

closer correspondence of document and session names, while maintaining document names for external reference

ignore jedit mark files

avoid romanism

churning pie charts (with non-canonical prerequisites!)

CONTRIBUTORS

proper inclusion into library

A single [simp] to handle the case -a/-b.

support for jEdit Navigator plugin;