isabelle: Changelog

wenzelm [Sat, 11 Jun 2016 20:54:31 +0200] rev 63291

tuned;

haftmann [Sat, 11 Jun 2016 16:22:42 +0200] rev 63290

boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes

Lars Hupel <lars.hupel@mytum.de> [Sat, 11 Jun 2016 17:40:52 +0200] rev 63289

merged

Lars Hupel <lars.hupel@mytum.de> [Sat, 11 Jun 2016 17:23:24 +0200] rev 63288

start moving actual Jenkins build scripts into the repository

wenzelm [Sat, 11 Jun 2016 17:36:49 +0200] rev 63287

tuned order for isar-ref;

wenzelm [Sat, 11 Jun 2016 16:58:17 +0200] rev 63286

clarified;

wenzelm [Sat, 11 Jun 2016 16:41:11 +0200] rev 63285

clarified syntax;

wenzelm [Sat, 11 Jun 2016 13:57:59 +0200] rev 63284

spelling;

wenzelm [Fri, 10 Jun 2016 23:13:04 +0200] rev 63283

bundles "finfun_syntax" and "no_finfun_syntax" for optional syntax;

wenzelm [Fri, 10 Jun 2016 22:47:25 +0200] rev 63282

added command 'unbundle';

isabelle