isabelle: Changelog

wenzelm [Sat, 20 Jun 2020 19:05:56 +0200] rev 71973

tuned output;

wenzelm [Sat, 20 Jun 2020 16:36:32 +0200] rev 71972

merged

wenzelm [Sat, 20 Jun 2020 16:18:33 +0200] rev 71971

share cache for parallel sessions;

wenzelm [Sat, 20 Jun 2020 15:09:20 +0200] rev 71970

clarified signature;

wenzelm [Sat, 20 Jun 2020 14:36:27 +0200] rev 71969

more caching, notably for build/pide_session;

wenzelm [Sat, 20 Jun 2020 11:01:57 +0200] rev 71968

removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);

wenzelm [Fri, 19 Jun 2020 20:15:00 +0200] rev 71967

tuned --- avoid error in IntelliJ IDEA;

haftmann [Sat, 20 Jun 2020 05:56:28 +0000] rev 71966

simp rules for conversions

haftmann [Sat, 20 Jun 2020 05:56:28 +0000] rev 71965

more class operations for the sake of efficient generated code

wenzelm [Fri, 19 Jun 2020 18:44:36 +0200] rev 71964

merged

isabelle