isabelle: Changelog

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

blanchet [Tue, 05 Oct 2010 11:45:10 +0200] rev 39953

hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names

blanchet [Tue, 05 Oct 2010 11:14:56 +0200] rev 39952

clean up debugging output

isabelle