Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
9 months ago wenzelm more uniform/robust detect_repository/is_repository: actually check hg root; changeset | files
9 months ago wenzelm more uniform local/remote operations; changeset | files
9 months ago wenzelm disable Isabelle/Naproche after release; changeset | files
9 months ago wenzelm post-release updates; changeset | files
9 months ago wenzelm merged changeset | files
9 months ago wenzelm Added tag Isabelle2024 for changeset 29f2b8ff84f3 changeset | files
9 months ago wenzelm proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f); Isabelle2024 changeset | files
9 months ago wenzelm provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version; changeset | files
9 months ago wenzelm update to naproche-20240519; changeset | files
10 months ago wenzelm proper formatting; changeset | files
10 months ago wenzelm more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster"; changeset | files
10 months ago paulson More binomial material changeset | files
10 months ago paulson syntax of gchoose now the same as choose changeset | files
10 months ago paulson Some new simprules – and patches for proofs changeset | files
10 months ago paulson merged changeset | files
10 months ago paulson merged changeset | files
10 months ago paulson A little more tidying in Nominal changeset | files
10 months ago wenzelm tuned proofs; changeset | files
10 months ago wenzelm merged, resoving conflicts in src/HOL/Nominal/Nominal.thy; changeset | files
10 months ago wenzelm Added tag Isabelle2024-RC3 for changeset 007e6af8a020 changeset | files
10 months ago wenzelm more documentation on "System registry via TOML"; changeset | files
10 months ago wenzelm update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows; changeset | files
10 months ago wenzelm provide 3.1 for testing (inactive); changeset | files
10 months ago wenzelm build e-3.1, without patch; changeset | files
10 months ago wenzelm disable Isabelle/Naproche for now: does not quite work on Windows; changeset | files
10 months ago wenzelm update and activate naproche component for release; changeset | files
10 months ago desharna changed URL to SystemOnTPTP at Geoff's request changeset | files
10 months ago wenzelm tuned spelling; changeset | files
10 months ago wenzelm build_cluster always uses build_database_server for now -- despite 1fa1b32b0379: its local/remote storage model often leads to incoherent state; changeset | files
10 months ago wenzelm proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash; changeset | files
10 months ago wenzelm support more Ubuntu versions; changeset | files
10 months ago wenzelm updated for release; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 tip
isabelle