Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 01 Jun 2010 10:32:29 +0200 remove comment
changeset
blanchet [Tue, 01 Jun 2010 10:32:29 +0200] rev 37257
remove comment
Tue, 01 Jun 2010 10:31:18 +0200 thread along context instead of theory for typedef lookup
changeset
blanchet [Tue, 01 Jun 2010 10:31:18 +0200] rev 37256
thread along context instead of theory for typedef lookup
Mon, 31 May 2010 18:51:06 +0200 obsolete FIXME
changeset
blanchet [Mon, 31 May 2010 18:51:06 +0200] rev 37255
obsolete FIXME
Mon, 31 May 2010 18:49:32 +0200 move SAT solver warning from every invocation of SAT solver to the tool, Refute, that uses it;
changeset
blanchet [Mon, 31 May 2010 18:49:32 +0200] rev 37254
move SAT solver warning from every invocation of SAT solver to the tool, Refute, that uses it; "size_change" rarely needs anything beyond "dpll", so this warning is annoying at best, and when "size_change" is called from Nitpick the warning confuses users, who then think that Nitpick is using "dpll" when it's really using MiniSat or some other fast solver
Mon, 31 May 2010 18:00:28 +0200 don't include any axioms for "TYPE" in Nitpick
changeset
blanchet [Mon, 31 May 2010 18:00:28 +0200] rev 37253
don't include any axioms for "TYPE" in Nitpick
Wed, 02 Jun 2010 11:36:09 +0200 dropped obsolete script
changeset
haftmann [Wed, 02 Jun 2010 11:36:09 +0200] rev 37252
dropped obsolete script
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle