Mercurial
Mercurial
>
repos
>
testboard
/ 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
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 for release;
10 months ago, by wenzelm
misc tuning for release;
10 months ago, by wenzelm
update dependency;
10 months ago, by wenzelm
trim whitespace;
10 months ago, by wenzelm
misc tuning for release;
10 months ago, by wenzelm
misc tuning for release;
10 months ago, by wenzelm
isabelle build_components -u;
10 months ago, by wenzelm
updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
10 months ago, by wenzelm
updated to current Cygwin, near 3.2.0;
10 months ago, by wenzelm
updated to sumatra_pdf-3.3.3;
10 months ago, by wenzelm
updated default version;
10 months ago, by wenzelm
updated to xz-java-1.9;
10 months ago, by wenzelm
updated to sqlite-jdbc-3.36.0.3;
10 months ago, by wenzelm
updated to postgresql-42.2.24;
10 months ago, by wenzelm
updated to jfreechart-1.5.3;
10 months ago, by wenzelm
updated to flatlaf-1.6;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified Term.dest_abs (again, refining 71dfb835025d): only Free names are relevant for abstract terms, without syntax;
10 months ago, by wenzelm
clarified sledgehammer_provers, following d8dc8fdc46fc;
10 months ago, by wenzelm
proper term operation Term.dest_abs;
10 months ago, by wenzelm
tuned, following Syntax_Trans.variant_abs;
10 months ago, by wenzelm
proper patterns for (- numeral t), amending 03ff4d1e6784;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
merged
10 months ago, by Mathias Fleury
update syntax for verit
10 months ago, by Mathias Fleury
clarified antiquotations;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
update syntax for verit
draft
10 months ago, by Mathias Fleury
provide verit-2021.06-rmx;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
merged
10 months ago, by desharna
clarified examples;
10 months ago, by wenzelm
repaired slip
10 months ago, by haftmann
add reconstruction for CVC4 proofs
draft
15 months ago, by Mathias Fleury
Removed tag list
draft
18 months ago, by Mathias Fleury
Added tag list for changeset 62b6bc153b84
draft
18 months ago, by Mathias Fleury
tuned TPTP parsing of THF function application
10 months ago, by desharna
merged
10 months ago, by desharna
updated to Zipperposition 2.1
10 months ago, by desharna
fixed veriT environment variable in sledgehammer's documentation
10 months ago, by desharna
avoid overlapping PIDE markup (amending bb25ea271b15);
10 months ago, by wenzelm
recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB);
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
clarified antiquotations;
10 months ago, by wenzelm
clarified positions, notably for ML compiler errors;
10 months ago, by wenzelm
clarified message;
10 months ago, by wenzelm
proper default for Sledgehammer GUI panel;
10 months ago, by wenzelm
tuned antiquotations;
10 months ago, by wenzelm
more convenient ML arguments: avoid excessive nesting of cartouches;
10 months ago, by wenzelm
outer syntax: support for control-cartouche tokens;
10 months ago, by wenzelm
merged
10 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip