isabelle: Changelog

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

blanchet [Tue, 05 Oct 2010 11:10:37 +0200] rev 39951

factor out "ATP" from "Sledgehammer" (cf. "SAT" vs. "Refute", etc.) -- the theories now reflect the directory structure

blanchet [Tue, 05 Oct 2010 10:59:12 +0200] rev 39950

got rid of overkill "meson_choice" attribute; tuning

isabelle