Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+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.
disable Isabelle/Naproche for now: does not quite work on Windows;
12 months ago, by wenzelm
update and activate naproche component for release;
12 months ago, by wenzelm
changed URL to SystemOnTPTP at Geoff's request
12 months ago, by desharna
tuned spelling;
12 months ago, by wenzelm
build_cluster always uses build_database_server for now -- despite 1fa1b32b0379: its local/remote storage model often leads to incoherent state;
12 months ago, by wenzelm
proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;
12 months ago, by wenzelm
support more Ubuntu versions;
12 months ago, by wenzelm
updated for release;
12 months ago, by wenzelm
more robust: avoid spurious ConcurrentModificationException;
12 months ago, by wenzelm
update to e-3.0.03-1, with proper support for trivial statements;
12 months ago, by wenzelm
more robust;
12 months ago, by wenzelm
minor patch for E Prover, based on "git diff -w -r E-3.0.03 E-3.0.08": proper support for trivial statements;
12 months ago, by wenzelm
backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;
12 months ago, by wenzelm
clone of 0c51e0a6bc37;
12 months ago, by wenzelm
update Windows test machines;
12 months ago, by wenzelm
More tidying of proofs
12 months ago, by paulson
Another Nominal example
12 months ago, by paulson
merged
12 months ago, by paulson
Tidying up another Nominal example (SOS)
12 months ago, by paulson
update Windows build host;
12 months ago, by wenzelm
proper command-line;
12 months ago, by wenzelm
Tidying up another of the nominal examples
12 months ago, by paulson
More tidying of Nominal proofs
12 months ago, by paulson
Tidied up another messy theory
12 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
tip