Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
added documentation
2022-04-01, by desharna
merged
2022-04-01, by desharna
tuned sledehammer to return best succeeding preplay method
2022-03-31, by desharna
expanded sledgehammer's expect option with some_preplayed
2022-03-30, by desharna
added preplay results to sledgehammer_output
2022-03-29, by desharna
tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3
2022-03-31, by desharna
further tweaked E's setup
2022-03-31, by blanchet
tweaked E setup
2022-03-31, by blanchet
merged
2022-03-29, by desharna
post-merged into new Lethe code
2022-03-29, by desharna
merged
2022-03-29, by desharna
fixed generation of Isar proofs e89709b80b6e
2022-03-28, by desharna
NEWS and CONTRIBUTORS
2022-03-29, by haftmann
nicer TPTP output
2022-03-29, by blanchet
regenerated
2022-03-29, by haftmann
tighter check to ensure that patterns remain left-linear, previous implementation was overcautious
2022-03-29, by haftmann
tuned
2022-03-29, by haftmann
tuned
2022-03-29, by haftmann
separated treatment of undefined bodys
2022-03-28, by haftmann
tuned arguments
2022-03-28, by haftmann
modernized handling of variables
2022-03-28, by haftmann
structurally tuned
2022-03-27, by haftmann
tuned names
2022-03-27, by haftmann
prefer build combinator
2022-03-27, by haftmann
tuned whitespace
2022-03-27, by haftmann
proper option argument;
2022-03-25, by wenzelm
prefer Isabelle shasum over the old command-line tool with its extra marker character;
2022-03-25, by wenzelm
tuned signature;
2022-03-25, by wenzelm
tuned signature;
2022-03-25, by wenzelm
tuned text, without update of component for now;
2022-03-25, by wenzelm
omit somewhat pointless integrity check;
2022-03-25, by wenzelm
tuned;
2022-03-25, by wenzelm
compile TPTP module
2022-03-25, by blanchet
compile mirabelle
2022-03-25, by blanchet
further modernized E setup
2022-03-25, by blanchet
cleaned up obsolete E setup and a bit of SPASS
2022-03-25, by blanchet
second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
2022-03-25, by blanchet
first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'
2022-03-25, by blanchet
updated vscode_extension;
2022-03-25, by wenzelm
added parentheses in TPTP output -- seem necessary for some provers
2022-03-25, by blanchet
merged
2022-03-24, by wenzelm
provide pre-built vscodium-1.65.2 for all platforms;
2022-03-24, by wenzelm
tuned;
2022-03-24, by wenzelm
provide vscode_extension via component, thus users don't need Node.js development tools;
2022-03-24, by wenzelm
clarified options;
2022-03-24, by wenzelm
Some new library lemmas
2022-03-24, by paulson
merged
2022-03-24, by paulson
really removing Dedekind_real
2022-03-24, by paulson
merged
2022-03-24, by paulson
Moving Dedekind_Real to the AFP
2022-03-24, by paulson
tuned
2022-03-24, by haftmann
separated case reduction
2022-03-24, by haftmann
separated selector function entirely
2022-03-24, by haftmann
self-contained extraction auf clauses
2022-03-24, by haftmann
extracted selector function, restoring code generation for let expressions
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
disentangled
2022-03-24, by haftmann
merged
2022-03-23, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip