isabelle: Changelog

wenzelm [Wed, 25 May 2016 11:49:40 +0200] rev 63145

isabelle update_cartouches -c -t;

eberlm [Wed, 25 May 2016 12:24:00 +0200] rev 63144

NEWS: Permutations of a set and randomised folds

Lars Hupel <lars.hupel@mytum.de> [Tue, 24 May 2016 22:46:23 +0200] rev 63143

new Isabelle component for CI infastructure

wenzelm [Tue, 24 May 2016 19:42:47 +0200] rev 63142

merged

wenzelm [Tue, 24 May 2016 17:51:09 +0200] rev 63141

recovered printing of DIM('a) (cf. 899c9c4e4a4c);

wenzelm [Tue, 24 May 2016 16:24:20 +0200] rev 63140

updated;

wenzelm [Tue, 24 May 2016 16:13:59 +0200] rev 63139

simplified syntax;

wenzelm [Tue, 24 May 2016 16:03:03 +0200] rev 63138

clarified syntax category names according to Isabelle/ML/Scala;

wenzelm [Tue, 24 May 2016 15:53:16 +0200] rev 63137

simplified syntax: Parse.term corresponds to Args.term etc.;

wenzelm [Tue, 24 May 2016 15:24:32 +0200] rev 63136

clarified syntax categories;

isabelle