isabelle: Changelog

wenzelm [Wed, 15 Apr 2015 21:20:37 +0200] rev 60085

NEWS;

wenzelm [Wed, 15 Apr 2015 21:20:27 +0200] rev 60084

ensure that deps are defined in entries, to prevent crash of Graph_View.build_graph;

wenzelm [Wed, 15 Apr 2015 20:00:18 +0200] rev 60083

updated to jdk-7u80, the latest and last public release of Java 7;

wenzelm [Wed, 15 Apr 2015 19:08:37 +0200] rev 60082

session graph with folded base theories, as in document preparation;

wenzelm [Wed, 15 Apr 2015 17:34:45 +0200] rev 60081

tuned signature;

noschinl [Wed, 15 Apr 2015 16:48:24 +0200] rev 60080

merged

noschinl [Wed, 15 Apr 2015 15:10:01 +0200] rev 60079

rewrite: add ML interface

wenzelm [Wed, 15 Apr 2015 15:57:58 +0200] rev 60078

use wasysym for \<hole>;

wenzelm [Wed, 15 Apr 2015 15:27:45 +0200] rev 60077

tuned signature, clarified modules;

wenzelm [Wed, 15 Apr 2015 14:54:25 +0200] rev 60076

tuned messages;

isabelle