isabelle: Changelog

blanchet [Wed, 05 Sep 2012 19:57:50 +0200] rev 49168

code indentation

blanchet [Wed, 05 Sep 2012 16:17:53 +0200] rev 49167

print timing information

blanchet [Wed, 05 Sep 2012 16:07:39 +0200] rev 49166

adapted example

blanchet [Wed, 05 Sep 2012 16:00:53 +0200] rev 49165

check type variables on rhs

wenzelm [Wed, 05 Sep 2012 17:12:40 +0200] rev 49164

proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e;

wenzelm [Wed, 05 Sep 2012 16:53:46 +0200] rev 49163

added tooltip to reveal jEdit platform file name;

blanchet [Wed, 05 Sep 2012 15:53:31 +0200] rev 49162

commented out slow examples again

blanchet [Wed, 05 Sep 2012 15:40:29 +0200] rev 49161

fixed (n + 1)st bug in "mk_exhaust_tac" -- arose with uncurried constructors

blanchet [Wed, 05 Sep 2012 15:40:28 +0200] rev 49160

fixed "mk_exhaust_tac" for the nth time

blanchet [Wed, 05 Sep 2012 15:40:26 +0200] rev 49159

updated README

isabelle