isabelle: Graph

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

NEWS and CONTRIBUTORS
2021-10-07, by desharna
merged
2021-10-07, by desharna
added offset to Mirabelle's tptp output names
2021-09-20, by desharna
tuned zipperposition config in sledgehammer
2021-10-04, by desharna
considered slices overhead in sledgehammer
2021-10-04, by desharna
tuned atp_prover sliding
2021-09-29, by desharna
tuned Zipperposition slides in sledgehammer
2021-09-29, by desharna
include arm64-linux;
2021-10-06, by wenzelm
updated to Vampire 4.6, as proposed by Martin Desharnais;
2021-10-06, by wenzelm
build from official downloads;
2021-10-06, by wenzelm
build just one vampire version;
2021-10-06, by wenzelm
clarified signature;
2021-10-06, by wenzelm
maintain previous theory identifier to support semantic caching, notably in Isabelle/Naproche;
2021-10-05, by wenzelm
more exports, notably for Isabelle/Naproche;
2021-10-05, by wenzelm
include arm64-linux;
2021-10-05, by wenzelm
prefer existing OCaml installation;
2021-10-05, by wenzelm
include arm64-linux;
2021-10-04, by wenzelm
no patchelf on macOS (undetected due to cached executables?);
2021-10-04, by wenzelm
provide opam-2.1.0 for experimentation;
2021-10-04, by wenzelm
rebuild cygwin-20211004.tar.gz;
2021-10-04, by wenzelm
include arm64-linux;
2021-10-04, by wenzelm
updated to cygwin-20211004: build again;
2021-10-04, by wenzelm
merged
2021-10-04, by wenzelm
removed pointless NEWS: both Docker/ubuntu and Cygwin provide perl by default;
2021-10-04, by wenzelm
actually use cygwin-20211002 (amending ff0ca375457c);
2021-10-04, by wenzelm
discontinued perl;
2021-10-04, by wenzelm
clarified signature;
2021-10-04, by wenzelm
proper term operation Term.dest_abs;
2021-10-04, by wenzelm
tuned;
2021-10-04, by wenzelm
tuned proofs;
2021-10-04, by wenzelm
more standard binder syntax;
2021-10-04, by wenzelm
clarified 'let' syntax: avoid conflict with existing 'let' in FOL;
2021-10-04, by wenzelm
tuned;
2021-10-04, by wenzelm
tuned;
2021-10-04, by wenzelm
merged
2021-10-04, by paulson
removal of a redundant theorem (and white space)
2021-10-04, by paulson
new material from the Roth development, mostly about finite sets, disjoint famillies and partitions
2021-10-04, by paulson
clarified and updated for release;
2021-10-04, by wenzelm
formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;
2021-10-04, by wenzelm
more NEWS and CONTRIBUTORS;
2021-10-04, by wenzelm
clarified comments;
2021-10-04, by wenzelm
support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
2021-10-04, by wenzelm
clarified dependencies;
2021-10-04, by wenzelm
updated for release;
2021-10-03, by wenzelm
Added tag Isabelle2021-1-RC0 for changeset fedc0b659881
2021-10-03, by isatest
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
2021-10-02, by wenzelm
merged
2021-10-02, by wenzelm
updated for release;
2021-10-02, by wenzelm
misc tuning for release;
2021-10-02, by wenzelm
update dependency;
2021-10-02, by wenzelm
trim whitespace;
2021-10-02, by wenzelm
misc tuning for release;
2021-10-02, by wenzelm
misc tuning for release;
2021-10-02, by wenzelm
isabelle build_components -u;
2021-10-02, by wenzelm
updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
2021-10-02, by wenzelm
updated to current Cygwin, near 3.2.0;
2021-10-02, by wenzelm
updated to sumatra_pdf-3.3.3;
2021-10-02, by wenzelm
updated default version;
2021-10-02, by wenzelm
updated to xz-java-1.9;
2021-10-02, by wenzelm
updated to sqlite-jdbc-3.36.0.3;
2021-10-02, by wenzelm
updated to postgresql-42.2.24;
2021-10-02, by wenzelm
updated to jfreechart-1.5.3;
2021-10-02, by wenzelm
updated to flatlaf-1.6;
2021-10-02, by wenzelm
clarified signature;
2021-10-02, by wenzelm
clarified Term.dest_abs (again, refining 71dfb835025d): only Free names are relevant for abstract terms, without syntax;
2021-10-02, by wenzelm
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
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