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

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

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

isabelle