isabelle: Changelog

wenzelm [Tue, 02 Apr 2019 13:02:03 +0200] rev 70023

misc tuning for release;

wenzelm [Mon, 01 Apr 2019 21:58:45 +0200] rev 70022

'code_reflect' only supports new-style 'file_prefix'; avoid fragile file "$ISABELLE_TMP/rat.ML";

wenzelm [Mon, 01 Apr 2019 21:51:46 +0200] rev 70021

tuned signature -- more exports;

wenzelm [Mon, 01 Apr 2019 21:45:13 +0200] rev 70020

tuned signature;

paulson <lp15@cam.ac.uk> [Mon, 01 Apr 2019 17:02:43 +0100] rev 70019

A few results in Algebra, and bits for Analysis

haftmann [Sat, 30 Mar 2019 15:37:27 +0100] rev 70018

experimental commands for proof sketching and exploration

haftmann [Sat, 30 Mar 2019 15:37:22 +0100] rev 70017

irrelevant

wenzelm [Sat, 30 Mar 2019 22:51:38 +0100] rev 70016

more PIDE markup and hyperlinks;

wenzelm [Sat, 30 Mar 2019 20:54:47 +0100] rev 70015

clarified signature: more explicit type Path.binding; tuned;

wenzelm [Sat, 30 Mar 2019 12:07:31 +0100] rev 70014

more LaTeX symbols;

isabelle