clarified signature;

tuned signature;

clarified signature;

merged

tuned;

prefer Isabelle.Bytes, based on ShortByteString;

tuned signature: more generic operations;

tuned signature;

prefer UTF8 implementation from Data.Text.Encoding (foreign C);

merged

support for native symlinks on Windows;

various improvements of "isabelle scala_project";

clarified signature;

clarified signature;

updated for Isabelle2021 release;

back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…

clarified version: Apple now counts like 11, 12, ...;

update to Haskell stack-2.7.3 and stackage lts-17.15;

clarified compiler output: allow multithreaded execution;

clarified signature;

clarified signature: more operations;

clarified props: more permissive;

clarified properties: "module" and "no_build";

more robust;

clarified signature;

clarified signature;

tuned comments;

tuned document;

clarified names (again), e.g. relevant for "Plugin Options";

tuned;

NEWS;

updated documentation on Isabelle/Scala;

clarified component setup: exclude jar from active component, but use sources…

discontinued obsolete Apple (deprecated);

more robust "isabelle build_scala" as separate tool;

tuned --- based on hints by IntelliJ IDEA;

more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in…

more portable across history;

proper isabelle.setup.Setup build;

rebuild component;

more complete scala_project, including Isabelle/jEdit plugins;

more accurate scala_project, based on build.props of components;

clarified directories;

tuned;

clarified build_props: empty module means no build;

merged

rebuild component;

more robust;

more robust: for the sake of Isabelle.app on macOS;

more robust;

more robust;

more robust;

rebuild component;

more informative errors: capture low-level compiler output;

more direct isabelle_scala_build: always enabled, no "Admin" requirement;

clarified names;

tuned --- fewer warnings;

clarified directory;

tuned --- fewer warnings;

clarified names;

clarified component setup for old graph browser;

redundant: *.class and *.jar are already ignored;

proper cat_lines: avoid last "\n";

more realistic timeout: 50min CPU time;

merged

NEWS;

proper example;

more tests;

more robust: component might be absent;

tuned signature;

more robust (again): allow to deactivate main plugin;

clarified global state: allow to deactivate main plugin;

clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;

more complete dockables;

more robust (see 4d91b6d5d49c);

avoid non-standard encoding;

tuned;

more robust;

more robust classpath: skip empty entries;

more robust: avoid duplicate classpath entries;

proper cross-platform build: jdk component is required for…

build.props for isabelle.jar, including isabelle.jedit;

more robust;

proper lines (amending 59b6f0462086);

more portable: avoid Windows CRLF in classpath output;

more systematic treatment of encodings;

tuned;

shasum for project meta-info;

even more strict shasum (amending c9771e1b3223);

strict shasum: this is used on input files;

clarified Isabelle meta-info within jar;

clarified modules;

support for command-line operations;

operations for all components;

clarified signature;

merged

rebuild component;

expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;

skip scalac for Java build;