isabelle: Changelog

wenzelm [Mon, 05 Nov 2018 20:53:16 +0100] rev 69242

more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);

wenzelm [Mon, 05 Nov 2018 17:37:55 +0100] rev 69241

clarified names;

wenzelm [Mon, 05 Nov 2018 17:06:50 +0100] rev 69240

more Haskell operations; tuned;

wenzelm [Mon, 05 Nov 2018 15:04:31 +0100] rev 69239

support sub-directories, i.e. structure module names;

wenzelm [Mon, 05 Nov 2018 15:00:55 +0100] rev 69238

prefer symbolic path: it is potentially persisted;

wenzelm [Mon, 05 Nov 2018 15:00:22 +0100] rev 69237

tuned (see map_index);

wenzelm [Mon, 05 Nov 2018 11:29:11 +0100] rev 69236

tuned;

nipkow [Mon, 05 Nov 2018 10:02:21 +0100] rev 69235

simplified proof, moved lemma, added lemma

wenzelm [Sun, 04 Nov 2018 17:19:56 +0100] rev 69234

more Haskell operations;

wenzelm [Sun, 04 Nov 2018 15:28:51 +0100] rev 69233

ported from src/Pure/General/value.ML;

isabelle