isabelle: Changelog

blanchet [Thu, 11 Sep 2014 18:54:36 +0200] rev 58298

more docs

traytel [Thu, 11 Sep 2014 15:08:56 +0200] rev 58297

new deads go to the end

blanchet [Thu, 11 Sep 2014 11:49:47 +0200] rev 58296

comment

haftmann [Wed, 10 Sep 2014 22:52:46 +0200] rev 58295

more material on lists

haftmann [Wed, 10 Sep 2014 14:58:02 +0200] rev 58294

explicit check phase to guide type inference of class expression towards one single type variable

haftmann [Wed, 10 Sep 2014 14:58:01 +0200] rev 58293

tuned

haftmann [Wed, 10 Sep 2014 14:57:03 +0200] rev 58292

dropped ineffective print_translation which has never been adjusted to check/uncheck-style case patterns

blanchet [Tue, 09 Sep 2014 23:54:47 +0200] rev 58291

tuning

blanchet [Tue, 09 Sep 2014 23:54:39 +0200] rev 58290

proper checks -- the calls data structure may contain spurious entries

blanchet [Tue, 09 Sep 2014 22:33:43 +0200] rev 58289

avoid exception

isabelle