isabelle: Changelog

wenzelm [Sun, 17 Mar 2019 21:26:42 +0100] rev 69917

tuned signature;

wenzelm [Sun, 17 Mar 2019 20:03:55 +0100] rev 69916

more meta data from "dcterms" (superset of "dc");

wenzelm [Fri, 15 Mar 2019 22:02:05 +0100] rev 69915

more latex symbols;

wenzelm [Thu, 14 Mar 2019 21:17:40 +0100] rev 69914

merged

wenzelm [Thu, 14 Mar 2019 16:55:06 +0100] rev 69913

more specific keyword kinds;

wenzelm [Thu, 14 Mar 2019 16:35:58 +0100] rev 69912

tuned whitespace;

haftmann [Thu, 14 Mar 2019 19:06:40 +0100] rev 69911

include zarith in the default opam setup

haftmann [Thu, 14 Mar 2019 13:54:31 +0000] rev 69910

dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available

haftmann [Thu, 14 Mar 2019 09:46:09 +0100] rev 69909

proper theory for type of dual ordered lattice in distribution

haftmann [Thu, 14 Mar 2019 09:46:04 +0100] rev 69908

slightly more complete check of code generation for immutable arrays

isabelle