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.
Fri, 06 Nov 2009 08:11:58 +0100 improved handling of overloaded constants; examples with numerals
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33475
improved handling of overloaded constants; examples with numerals
Fri, 06 Nov 2009 08:11:58 +0100 made SML/NJ happy; tuned
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33474
made SML/NJ happy; tuned
Fri, 06 Nov 2009 08:11:58 +0100 adding tracing function for evaluated code; annotated compilation in the predicate compiler
changeset
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33473
adding tracing function for evaluated code; annotated compilation in the predicate compiler
Fri, 06 Nov 2009 17:52:57 +0100 added documentation for local SMT solver setup and available SMT options,
changeset
boehmes [Fri, 06 Nov 2009 17:52:57 +0100] rev 33472
added documentation for local SMT solver setup and available SMT options, added verbose output for SMT solver invocation, test if local SMT solver exists before invoking it, always trace (possible) counterexamples, documented existence of SMT server
Fri, 06 Nov 2009 14:42:42 +0100 renamed method induct_scheme to induction_schema
changeset
krauss [Fri, 06 Nov 2009 14:42:42 +0100] rev 33471
renamed method induct_scheme to induction_schema
Fri, 06 Nov 2009 13:49:19 +0100 NEWS
changeset
krauss [Fri, 06 Nov 2009 13:49:19 +0100] rev 33470
NEWS
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle