Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Tools/Nitpick/nitrox.ML
Wed, 13 Jul 2011 22:16:19 +0200
blanchet
no timeout for Nitrox
file
|
diff
|
annotate
Tue, 31 May 2011 16:38:36 +0200
blanchet
first step in sharing more code between ATP and Metis translation
file
|
diff
|
annotate
Fri, 27 May 2011 10:30:08 +0200
blanchet
handle non-auto try case gracefully in Nitpick
file
|
diff
|
annotate
Fri, 27 May 2011 10:30:08 +0200
blanchet
added "try" command, to launch Solve Direct, Quickcheck, Nitpick, Sledgehammer, and Try Methods
file
|
diff
|
annotate
Tue, 24 May 2011 00:01:33 +0200
blanchet
eliminated more code duplication in Nitrox
file
|
diff
|
annotate
Tue, 24 May 2011 00:01:33 +0200
blanchet
reduce code duplication in Nitrox
file
|
diff
|
annotate
Tue, 24 May 2011 00:01:33 +0200
blanchet
use \<emdash> rather than \<midarrow>
file
|
diff
|
annotate
Tue, 22 Mar 2011 19:04:32 +0100
blanchet
added first-order TPTP version of Nitpick to Isabelle, so that its sources stay in sync with Isabelle and it is easier to install new versions for SystemOnTPTP and CASC -- the tool is called "isabelle nitrox" but is deliberately omitted from the tool list unless the component is explicitly enabled, to avoid clutter
file
|
diff
|
annotate
less
more
(0)
tip