isabelle: Changelog

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43098

proper handling of type variable classes in new Metis

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43097

fixed recursive call in new path finder and (untested:) handle hAPP

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43096

don't preprocess twice

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43095

more robust and simpler adjustment computation

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43094

more work on new Metis

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43093

tuning

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43092

more work on new metis that exploits the powerful new type encodings

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43091

tuning

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43090

removed obscure option

blanchet [Tue, 31 May 2011 16:38:36 +0200] rev 43089

added "metisX" syntax (temporary)

isabelle