isabelle: Changelog

wenzelm [Tue, 06 Jun 2017 23:13:53 +0200] rev 66025

clarified import of loaded theory;

haftmann [Mon, 05 Jun 2017 21:24:41 +0200] rev 66024

decomposed tuple

haftmann [Mon, 05 Jun 2017 21:24:40 +0200] rev 66023

tuned

haftmann [Mon, 05 Jun 2017 21:24:39 +0200] rev 66022

clarified message

wenzelm [Tue, 06 Jun 2017 13:42:38 +0200] rev 66021

tuned signature;

wenzelm [Tue, 06 Jun 2017 13:13:25 +0200] rev 66020

discontinued obsolete print mode;

wenzelm [Mon, 05 Jun 2017 23:55:58 +0200] rev 66019

HTML preview via builtin HTTP server;

wenzelm [Mon, 05 Jun 2017 23:13:08 +0200] rev 66018

permissive output of XML.Text, e.g. relevant for embedded <style>;

haftmann [Mon, 05 Jun 2017 15:59:47 +0200] rev 66017

avoid Local_Theory.reset in application space

haftmann [Mon, 05 Jun 2017 15:59:45 +0200] rev 66016

tuned

isabelle