isabelle: Changelog

wenzelm [Sat, 07 Mar 2020 12:15:15 +0100] rev 71524

copy jEdit sources instead of jar, for better browsing experience;

wenzelm [Sat, 07 Mar 2020 12:14:51 +0100] rev 71523

proper option;

wenzelm [Fri, 06 Mar 2020 22:01:28 +0100] rev 71522

tuned;

wenzelm [Fri, 06 Mar 2020 20:33:16 +0100] rev 71521

formally depend on Java 11 --- discontinue Java 8 workaround;

wenzelm [Fri, 06 Mar 2020 20:18:21 +0100] rev 71520

support Java/VM monitoring via jconsole;

wenzelm [Wed, 04 Mar 2020 21:09:02 +0100] rev 71519

escape some special chars, notably for URL#NAME form;

haftmann [Tue, 03 Mar 2020 19:26:24 +0000] rev 71518

library theory for extractions of equations x = t into premises

haftmann [Tue, 03 Mar 2020 19:26:23 +0000] rev 71517

tuned

wenzelm [Wed, 04 Mar 2020 15:38:02 +0100] rev 71516

rebuild x86_64-linux on Ubuntu 14.04.6 LTS; rebuild x86_64-cygwin on cygwin-20200116;

wenzelm [Tue, 03 Mar 2020 20:14:48 +0100] rev 71515

merged

isabelle