isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

isabelle