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 -60 +60 +100 +300 +1000 +3000 tip

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
clarified antiquotations;
2021-09-28, by wenzelm
clarified positions, notably for ML compiler errors;
2021-09-28, by wenzelm
clarified message;
2021-09-28, by wenzelm
proper default for Sledgehammer GUI panel;
2021-09-28, by wenzelm
tuned antiquotations;
2021-09-28, by wenzelm
more convenient ML arguments: avoid excessive nesting of cartouches;
2021-09-28, by wenzelm
outer syntax: support for control-cartouche tokens;
2021-09-28, by wenzelm
merged
2021-09-28, by nipkow
An example
2021-09-28, by nipkow
prefer veriT over Z3 in sledgehammer
2021-09-28, by desharna
added Zipperposition to sledgehammer's default provers
2021-09-28, by desharna
provide zipperposition-2.1 (still unused);
2021-09-27, by wenzelm
tuned docs
2021-09-27, by blanchet
merged
2021-09-26, by wenzelm
improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
2021-09-26, by wenzelm
NOT is part of syntax bundle also
2021-09-25, by haftmann
merged
2021-09-24, by wenzelm
tuned proofs --- avoid 'guess';
2021-09-24, by wenzelm
apply declarations from interpretations in eigen context also
2021-09-24, by haftmann
grant access to sun.tools.jconsole, as required for Java 17;
2021-09-24, by wenzelm
update to e-2.6, following Martin Desharnais;
2021-09-24, by wenzelm
updated to Metis 2.4 (release 20200713)
2021-09-23, by desharna
avoid problems with launch4j and jdk-17;
2021-09-22, by wenzelm
update to jdk-17+35 (LTS);
2021-09-22, by wenzelm
tuned message;
2021-09-22, by wenzelm
unused since 398b7bb9ebdd;
2021-09-22, by wenzelm
merged
2021-09-22, by desharna
removed checks for non-commercial usage of Vampire as it is now under BSD licence
2021-09-22, by desharna
enabled FOOL for Vampire in Sledgehammer
2021-09-22, by desharna
used Vampire 4.5.1 in Sledgehammer
2021-09-22, by desharna
proper NEWS;
2021-09-22, by wenzelm
tuned NEWS;
2021-09-22, by wenzelm
clarified antiquotations;
2021-09-21, by wenzelm
clarified antiquotations;
2021-09-21, by wenzelm
clarified antiquotations;
2021-09-21, by wenzelm
clarified partial application: immediate check of object-logic, and avoidance of context within closure;
2021-09-21, by wenzelm
merged
2021-09-21, by wenzelm
clarified antiquotations;
2021-09-21, by wenzelm
ML antiquotations for object-logic judgment;
2021-09-21, by wenzelm

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

isabelle