isabelle: Changelog

wenzelm [Wed, 17 Oct 2018 21:53:38 +0200] rev 69153

avoid strict evaluation of "isabelle_stack path --programs";

wenzelm [Wed, 17 Oct 2018 21:42:29 +0200] rev 69152

enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings;

wenzelm [Wed, 17 Oct 2018 21:38:07 +0200] rev 69151

support for GHC via command-line tools;

wenzelm [Wed, 17 Oct 2018 21:37:40 +0200] rev 69150

tuned;

wenzelm [Wed, 17 Oct 2018 21:36:57 +0200] rev 69149

tuned message;

wenzelm [Wed, 17 Oct 2018 20:25:51 +0200] rev 69148

auto update;

wenzelm [Wed, 17 Oct 2018 20:06:19 +0200] rev 69147

isabelle_stack as portable shell function;

wenzelm [Wed, 17 Oct 2018 16:53:45 +0200] rev 69146

tuned;

nipkow [Wed, 17 Oct 2018 21:00:53 +0200] rev 69145

added Array files

paulson <lp15@cam.ac.uk> [Wed, 17 Oct 2018 14:19:07 +0100] rev 69144

new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml

isabelle