isabelle: Changelog

noschinl [Thu, 16 Apr 2015 15:55:55 +0200] rev 60088

rewrite: use distinct names for unnamed abstractions

wenzelm [Wed, 15 Apr 2015 22:27:31 +0200] rev 60087

avoid mix of languages;

wenzelm [Wed, 15 Apr 2015 22:20:22 +0200] rev 60086

merged

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

isabelle