Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 02 Jan 2025 12:14:51 +0100 tuned NEWS;
changeset
wenzelm [Thu, 02 Jan 2025 12:14:51 +0100] rev 81708
tuned NEWS;
Thu, 02 Jan 2025 12:13:18 +0100 provide component cvc5-1.2.0, including arm64-linux;
changeset
wenzelm [Thu, 02 Jan 2025 12:13:18 +0100] rev 81707
provide component cvc5-1.2.0, including arm64-linux; workaround for ARM64 platform, avoid odd crash of "sledgehammer [cvc5, mepo, slices = 4]" before line 318 of "$AFP/thys/Given_Clause_Loops/DISCOUNT_Loop.thy";
Thu, 02 Jan 2025 08:37:55 +0100 refined syntax for code_reserved
changeset
haftmann [Thu, 02 Jan 2025 08:37:55 +0100] rev 81706
refined syntax for code_reserved
Thu, 02 Jan 2025 08:37:52 +0100 explicit error message for non-existing code target
changeset
haftmann [Thu, 02 Jan 2025 08:37:52 +0100] rev 81705
explicit error message for non-existing code target
Wed, 01 Jan 2025 22:06:27 +0100 revert changeset 2f98e3c4592c: avoid conflict with low-level \<^latex> markup;
changeset
wenzelm [Wed, 01 Jan 2025 22:06:27 +0100] rev 81704
revert changeset 2f98e3c4592c: avoid conflict with low-level \<^latex> markup;
Wed, 01 Jan 2025 19:42:53 +0100 merged
changeset
wenzelm [Wed, 01 Jan 2025 19:42:53 +0100] rev 81703
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip
isabelle