Wed, 06 Oct 2010 17:44:07 +0200 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:44:07 +0200] rev 39962
qualify "Meson." and "Metis." constants so that the ML files can be reloaded later (e.g. for testing/development)
Wed, 06 Oct 2010 17:42:57 +0200 get rid of function that duplicates existing Pure functionality
blanchet [Wed, 06 Oct 2010 17:42:57 +0200] rev 39961
get rid of function that duplicates existing Pure functionality
Wed, 06 Oct 2010 17:38:06 +0200 remove needless fact
blanchet [Wed, 06 Oct 2010 17:38:06 +0200] rev 39960
remove needless fact
Wed, 06 Oct 2010 12:01:55 +0200 added a few FIXMEs
blanchet [Wed, 06 Oct 2010 12:01:55 +0200] rev 39959
added a few FIXMEs
Tue, 05 Oct 2010 12:50:45 +0200 tuned comments
blanchet [Tue, 05 Oct 2010 12:50:45 +0200] rev 39958
tuned comments
Tue, 05 Oct 2010 12:06:08 +0200 document latest changes to Meson/Metis/Sledgehammer
blanchet [Tue, 05 Oct 2010 12:06:08 +0200] rev 39957
document latest changes to Meson/Metis/Sledgehammer
Tue, 05 Oct 2010 12:04:57 +0200 remove needless Metis facts
blanchet [Tue, 05 Oct 2010 12:04:57 +0200] rev 39956
remove needless Metis facts
Tue, 05 Oct 2010 12:04:49 +0200 hide one more name
blanchet [Tue, 05 Oct 2010 12:04:49 +0200] rev 39955
hide one more name
Tue, 05 Oct 2010 12:04:19 +0200 qualify names
blanchet [Tue, 05 Oct 2010 12:04:19 +0200] rev 39954
qualify names
Tue, 05 Oct 2010 11:45:10 +0200 hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact 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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip