isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 21 Oct 2018 19:39:46 +0200 more portable tar_options;

changeset

wenzelm [Sun, 21 Oct 2018 19:39:46 +0200] rev 69170

more portable tar_options;

Sun, 21 Oct 2018 19:34:11 +0200 check (non-)executable files -- and eliminate them manually from the repository)

changeset

wenzelm [Sun, 21 Oct 2018 19:34:11 +0200] rev 69169

check (non-)executable files -- and eliminate them manually from the repository)

Sun, 21 Oct 2018 18:32:33 +0200 eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;

changeset

wenzelm [Sun, 21 Oct 2018 18:32:33 +0200] rev 69168

eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; eliminated "isabelle news"; roper title in NEWS.html; more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC; misc tuning and clarification;

Sun, 21 Oct 2018 14:35:46 +0200 tuned signature;

changeset

wenzelm [Sun, 21 Oct 2018 14:35:46 +0200] rev 69167

tuned signature;

Sun, 21 Oct 2018 14:25:51 +0200 tuned signature;

changeset

wenzelm [Sun, 21 Oct 2018 14:25:51 +0200] rev 69166

tuned signature;

Sun, 21 Oct 2018 16:11:24 +0200 updated PLATFORMS;

changeset

wenzelm [Sun, 21 Oct 2018 16:11:24 +0200] rev 69165

updated PLATFORMS;