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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
updated to xz-java-1.9;
17 months ago, by wenzelm
updated to sqlite-jdbc-3.36.0.3;
17 months ago, by wenzelm
updated to postgresql-42.2.24;
17 months ago, by wenzelm
updated to jfreechart-1.5.3;
17 months ago, by wenzelm
updated to flatlaf-1.6;
17 months ago, by wenzelm
clarified signature;
17 months ago, by wenzelm
clarified Term.dest_abs (again, refining 71dfb835025d): only Free names are relevant for abstract terms, without syntax;
17 months ago, by wenzelm
clarified sledgehammer_provers, following d8dc8fdc46fc;
17 months ago, by wenzelm
proper term operation Term.dest_abs;
17 months ago, by wenzelm
tuned, following Syntax_Trans.variant_abs;
17 months ago, by wenzelm
proper patterns for (- numeral t), amending 03ff4d1e6784;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
merged
17 months ago, by Mathias Fleury
update syntax for verit
17 months ago, by Mathias Fleury
clarified antiquotations;
17 months ago, by wenzelm
clarified antiquotations;
17 months ago, by wenzelm
provide verit-2021.06-rmx;
17 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
merged
18 months ago, by desharna
tuned TPTP parsing of THF function application
18 months ago, by desharna
clarified examples;
18 months ago, by wenzelm
repaired slip
18 months ago, by haftmann
merged
18 months ago, by desharna
updated to Zipperposition 2.1
18 months ago, by desharna
fixed veriT environment variable in sledgehammer's documentation
18 months ago, by desharna
avoid overlapping PIDE markup (amending bb25ea271b15);
18 months ago, by wenzelm
recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB);
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
clarified antiquotations;
18 months ago, by wenzelm
clarified positions, notably for ML compiler errors;
18 months ago, by wenzelm
clarified message;
18 months ago, by wenzelm
proper default for Sledgehammer GUI panel;
18 months ago, by wenzelm
tuned antiquotations;
18 months ago, by wenzelm
more convenient ML arguments: avoid excessive nesting of cartouches;
18 months ago, by wenzelm
outer syntax: support for control-cartouche tokens;
18 months ago, by wenzelm
merged
18 months ago, by nipkow
An example
18 months ago, by nipkow
prefer veriT over Z3 in sledgehammer
18 months ago, by desharna
added Zipperposition to sledgehammer's default provers
18 months ago, by desharna
provide zipperposition-2.1 (still unused);
18 months ago, by wenzelm
tuned docs
18 months ago, by blanchet
merged
18 months ago, by wenzelm
improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
18 months ago, by wenzelm
NOT is part of syntax bundle also
18 months ago, by haftmann
merged
18 months ago, by wenzelm
tuned proofs --- avoid 'guess';
18 months ago, by wenzelm
apply declarations from interpretations in eigen context also
18 months ago, by haftmann
grant access to sun.tools.jconsole, as required for Java 17;
18 months ago, by wenzelm
update to e-2.6, following Martin Desharnais;
18 months ago, by wenzelm
updated to Metis 2.4 (release 20200713)
18 months ago, by desharna
avoid problems with launch4j and jdk-17;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip