isabelle: Changelog

haftmann [Thu, 23 Jun 2016 16:46:36 +0200] rev 63351

avoid overlapping equations for gcd, lcm on integers

haftmann [Thu, 23 Jun 2016 16:46:36 +0200] rev 63350

compiling implicit instances into companion objects for classes avoids ambiguities

Lars Hupel <lars.hupel@mytum.de> [Wed, 22 Jun 2016 19:01:26 +0200] rev 63349

print statistics; tuned

Lars Hupel <lars.hupel@mytum.de> [Wed, 22 Jun 2016 16:47:55 +0200] rev 63348

adjust job/thread count for new hardware

wenzelm [Wed, 22 Jun 2016 16:04:03 +0200] rev 63347

report class parameters within instantiation;

wenzelm [Wed, 22 Jun 2016 11:10:18 +0200] rev 63346

clarified PIDE markup;

wenzelm [Wed, 22 Jun 2016 10:42:53 +0200] rev 63345

tuned;

wenzelm [Wed, 22 Jun 2016 10:40:53 +0200] rev 63344

tuned signature; tuned;

wenzelm [Wed, 22 Jun 2016 10:09:20 +0200] rev 63343

bundle lifting_syntax;

wenzelm [Tue, 21 Jun 2016 17:35:45 +0200] rev 63342

tuned;

isabelle