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

clarified sledgehammer_provers, following d8dc8fdc46fc;
2021-10-02, by wenzelm
proper term operation Term.dest_abs;
2021-10-02, by wenzelm
tuned, following Syntax_Trans.variant_abs;
2021-10-02, by wenzelm
proper patterns for (- numeral t), amending 03ff4d1e6784;
2021-10-02, by wenzelm
tuned;
2021-10-02, by wenzelm
merged
2021-10-01, by Mathias Fleury
update syntax for verit
2021-10-01, by Mathias Fleury
clarified antiquotations;
2021-10-01, by wenzelm
clarified antiquotations;
2021-10-01, by wenzelm
provide verit-2021.06-rmx;
2021-10-01, by wenzelm
clarified antiquotations;
2021-09-29, by wenzelm
merged
2021-09-29, by wenzelm
clarified antiquotations;
2021-09-29, by wenzelm
clarified antiquotations;
2021-09-29, by wenzelm
clarified antiquotations;
2021-09-29, by wenzelm
merged
2021-09-29, by desharna
tuned TPTP parsing of THF function application
2021-09-28, by desharna
clarified examples;
2021-09-29, by wenzelm
repaired slip
2021-09-29, by haftmann
merged
2021-09-29, by desharna
updated to Zipperposition 2.1
2021-09-28, by desharna
fixed veriT environment variable in sledgehammer's documentation
2021-09-28, by desharna
avoid overlapping PIDE markup (amending bb25ea271b15);
2021-09-28, by wenzelm
recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB);
2021-09-28, by wenzelm
clarified antiquotations;
2021-09-28, by wenzelm
merged
2021-09-28, by wenzelm
clarified antiquotations;
2021-09-28, by wenzelm
clarified antiquotations;
2021-09-28, by wenzelm
clarified antiquotations;
2021-09-28, by wenzelm
clarified antiquotations;
2021-09-28, by wenzelm

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

isabelle