Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 18 Dec 2024 11:02:56 +0100 added documentation for new Sledehammer option "cache_dir"
changeset
desharna [Wed, 18 Dec 2024 11:02:56 +0100] rev 81613
added documentation for new Sledehammer option "cache_dir"
Wed, 18 Dec 2024 10:43:44 +0100 updated affiliation in Sledgehammer documentation
changeset
desharna [Wed, 18 Dec 2024 10:43:44 +0100] rev 81612
updated affiliation in Sledgehammer documentation
Wed, 18 Dec 2024 10:23:25 +0100 merged
changeset
desharna [Wed, 18 Dec 2024 10:23:25 +0100] rev 81611
merged
Wed, 18 Dec 2024 10:21:58 +0100 added option "cache_dir" to Sledgehammer
changeset
desharna [Wed, 18 Dec 2024 10:21:58 +0100] rev 81610
added option "cache_dir" to Sledgehammer
Mon, 16 Dec 2024 21:08:43 +0100 more simp rules on word conversions
changeset
haftmann [Mon, 16 Dec 2024 21:08:43 +0100] rev 81609
more simp rules on word conversions
Mon, 16 Dec 2024 19:22:54 +0100 spelling;
changeset
wenzelm [Mon, 16 Dec 2024 19:22:54 +0100] rev 81608
spelling;
Mon, 16 Dec 2024 19:09:14 +0100 update to xz-java-1.10;
changeset
wenzelm [Mon, 16 Dec 2024 19:09:14 +0100] rev 81607
update to xz-java-1.10;
Mon, 16 Dec 2024 13:55:26 +0100 update to zstd-jni-1.5.6-8;
changeset
wenzelm [Mon, 16 Dec 2024 13:55:26 +0100] rev 81606
update to zstd-jni-1.5.6-8;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 tip
isabelle