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 tip

support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
more general dirs for Sync.sync;
9 months ago, by wenzelm
tuned whitespace (amending beb4ee344c22);
9 months ago, by wenzelm
clarified signature (see also be0ab4b94c62 and c41791ad75c3);
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
tuned names;
9 months ago, by wenzelm
proper SSH.System operation;
9 months ago, by wenzelm
clarified modules;
9 months ago, by wenzelm
more uniform/robust detect_repository/is_repository: actually check hg root;
9 months ago, by wenzelm
more uniform local/remote operations;
9 months ago, by wenzelm
disable Isabelle/Naproche after release;
9 months ago, by wenzelm
post-release updates;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
Added tag Isabelle2024 for changeset 29f2b8ff84f3
9 months ago, by wenzelm
proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f); Isabelle2024
9 months ago, by wenzelm
provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;
9 months ago, by wenzelm
update to naproche-20240519;
9 months ago, by wenzelm
proper formatting;
9 months ago, by wenzelm
more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";
9 months ago, by wenzelm
More binomial material
9 months ago, by paulson
syntax of gchoose now the same as choose
9 months ago, by paulson
Some new simprules – and patches for proofs
9 months ago, by paulson
merged
9 months ago, by paulson
merged
9 months ago, by paulson
A little more tidying in Nominal
9 months ago, by paulson
tuned proofs;
9 months ago, by wenzelm
merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;
9 months ago, by wenzelm
Added tag Isabelle2024-RC3 for changeset 007e6af8a020
9 months ago, by wenzelm
more documentation on "System registry via TOML";
9 months ago, by wenzelm
update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows;
9 months ago, by wenzelm
provide 3.1 for testing (inactive);
9 months ago, by wenzelm
build e-3.1, without patch;
9 months ago, by wenzelm
disable Isabelle/Naproche for now: does not quite work on Windows;
9 months ago, by wenzelm
update and activate naproche component for release;
9 months ago, by wenzelm
changed URL to SystemOnTPTP at Geoff's request
10 months ago, by desharna
tuned spelling;
10 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;
10 months ago, by wenzelm
proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;
10 months ago, by wenzelm
support more Ubuntu versions;
10 months ago, by wenzelm
updated for release;
10 months ago, by wenzelm
more robust: avoid spurious ConcurrentModificationException;
10 months ago, by wenzelm
update to e-3.0.03-1, with proper support for trivial statements;
10 months ago, by wenzelm
more robust;
10 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;
10 months ago, by wenzelm
backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;
10 months ago, by wenzelm
clone of 0c51e0a6bc37;
10 months ago, by wenzelm
update Windows test machines;
10 months ago, by wenzelm
More tidying of proofs
10 months ago, by paulson
Another Nominal example
10 months ago, by paulson
merged
10 months ago, by paulson
Tidying up another Nominal example (SOS)
10 months ago, by paulson
update Windows build host;
10 months ago, by wenzelm
proper command-line;
10 months ago, by wenzelm
Tidying up another of the nominal examples
10 months ago, by paulson
More tidying of Nominal proofs
10 months ago, by paulson
Tidied up another messy theory
10 months ago, by paulson
More proof tidying for Nominal
10 months ago, by paulson
Tidying up more messy proofs
10 months ago, by paulson

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

isabelle