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/Tools/try.ML
Wed, 27 Mar 2013 17:58:07 +0100
wenzelm
more robust access Toplevel.proof_of -- prefer warning via Toplevel.unknown_proof over hard crash (notably for skipped proofs);
file
|
diff
|
annotate
Fri, 16 Mar 2012 18:20:12 +0100
wenzelm
outer syntax command definitions based on formal command_spec derived from theory header declarations;
file
|
diff
|
annotate
Mon, 30 May 2011 17:00:38 +0200
blanchet
make SML/NJ happy
file
|
diff
|
annotate
Fri, 27 May 2011 10:30:08 +0200
blanchet
repaired theory merging and defined/used helpers
file
|
diff
|
annotate
Fri, 27 May 2011 10:30:08 +0200
blanchet
prioritize try and auto try's tools, with fast ones first, with a slight preference for provers vs. counterexample generators
file
|
diff
|
annotate
Fri, 27 May 2011 10:30:08 +0200
blanchet
handle non-auto try case of Sledgehammer better
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
Fri, 27 May 2011 10:30:08 +0200
blanchet
renamed "Auto_Tools" "Try"
file
|
diff
|
annotate
|
base
less
more
(0)
tip