isabelle: Changelog

blanchet [Wed, 06 Oct 2010 17:44:21 +0200] rev 39963

merged

blanchet [Wed, 06 Oct 2010 17:44:07 +0200] rev 39962

qualify "Meson." and "Metis." constants so that the ML files can be reloaded later (e.g. for testing/development)

blanchet [Wed, 06 Oct 2010 17:42:57 +0200] rev 39961

get rid of function that duplicates existing Pure functionality

blanchet [Wed, 06 Oct 2010 17:38:06 +0200] rev 39960

remove needless fact

blanchet [Wed, 06 Oct 2010 12:01:55 +0200] rev 39959

added a few FIXMEs

blanchet [Tue, 05 Oct 2010 12:50:45 +0200] rev 39958

tuned comments

blanchet [Tue, 05 Oct 2010 12:06:08 +0200] rev 39957

document latest changes to Meson/Metis/Sledgehammer

blanchet [Tue, 05 Oct 2010 12:04:57 +0200] rev 39956

remove needless Metis facts

blanchet [Tue, 05 Oct 2010 12:04:49 +0200] rev 39955

hide one more name

blanchet [Tue, 05 Oct 2010 12:04:19 +0200] rev 39954

qualify names

isabelle