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.
Tue, 18 Mar 2025 18:12:07 +0000 merged
changeset
paulson [Tue, 18 Mar 2025 18:12:07 +0000] rev 82303
merged
Tue, 18 Mar 2025 18:11:58 +0000 Tidied old proofs
changeset
paulson <lp15@cam.ac.uk> [Tue, 18 Mar 2025 18:11:58 +0000] rev 82302
Tidied old proofs
Tue, 18 Mar 2025 14:05:07 +0100 mini1 is not active due to upgrade;
changeset
wenzelm [Tue, 18 Mar 2025 14:05:07 +0100] rev 82301
mini1 is not active due to upgrade;
Tue, 18 Mar 2025 08:41:07 +0100 fixed missing from a0693649e9c6
changeset
desharna [Tue, 18 Mar 2025 08:41:07 +0100] rev 82300
fixed missing from a0693649e9c6
Mon, 17 Mar 2025 16:29:48 +0100 removed lemma wf_empty (use wf_on_bot instead)
changeset
desharna [Mon, 17 Mar 2025 16:29:48 +0100] rev 82299
removed lemma wf_empty (use wf_on_bot instead)
Mon, 17 Mar 2025 11:30:39 +0100 added lemmas wf_on_bot[simp] and wfp_on_bot[simp]
changeset
desharna [Mon, 17 Mar 2025 11:30:39 +0100] rev 82298
added lemmas wf_on_bot[simp] and wfp_on_bot[simp]
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip
isabelle