more precise token positions;

more uniform Command.Chunk operations;

more explicit Command.Chunk types, less ooddities; tuned;

tuned;

ignore deps_changed (again) -- avoid proactive load attempts of unfinished header specification while the user is typing;

no report for position singularity, notably for aux. file, especially empty one;

simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name; more liberal hyperlink to files, allow hyperlinks within editor files independently of the (POSIX) file-system;

tuned signature -- prefer static type Document.Node.Name;

commented out example that triggers a bug

allow arguments to 'datatype_compat' in disorder

added 'datatype_compat' examples/tests

support deeply nested datatypes in 'datatype_compat'

preserve user type variable names to avoid mismatches/confusion

even more standardized doc session names after #b266e7a86485

refrain from changing jEdit default shortcuts, due to potential for conflicts and actually not working on Mac OS X;

support for URL as file name, similar to treatment in jEdit.java;

provide old-style ISABELLE_SCALA_SCRIPT for uniformity;

separate file_node vs. file_path, e.g. relevant on Windows for hyperlink to the latter;

merged

tuned lemmas: more general class

tuned proofs;

removed abbrev "<-" again (see c771f0fe28d1) due to conflict with important "<->" and "<-->";

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;

more permissive Session.update_options: this is wired to jEdit PropertiesChanged, which may occur before the prover is started;

added option to Mirabelle

divide_minus_left divide_minus_right are in field_simps but are not default simprules

removing simprule status for divide_minus_left and divide_minus_right