Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 02 Apr 2025 11:26:40 +0200 tuned NEWS
changeset
desharna [Wed, 02 Apr 2025 11:26:40 +0200] rev 82398
tuned NEWS
Fri, 04 Apr 2025 15:27:28 +0200 added proof method "iprover" to try0
changeset
desharna [Fri, 04 Apr 2025 15:27:28 +0200] rev 82397
added proof method "iprover" to try0
Wed, 02 Apr 2025 11:18:35 +0200 added a user-configurable schedule to try0
changeset
desharna [Wed, 02 Apr 2025 11:18:35 +0200] rev 82396
added a user-configurable schedule to try0
Thu, 03 Apr 2025 21:08:36 +0100 Lemmas from Manuel Eberl's Q_Analogues
changeset
paulson <lp15@cam.ac.uk> [Thu, 03 Apr 2025 21:08:36 +0100] rev 82395
Lemmas from Manuel Eberl's Q_Analogues
Wed, 02 Apr 2025 16:56:36 +0200 Added lemma
changeset
nipkow [Wed, 02 Apr 2025 16:56:36 +0200] rev 82394
Added lemma
Tue, 01 Apr 2025 12:10:45 +0200 more on sorting
changeset
haftmann [Tue, 01 Apr 2025 12:10:45 +0200] rev 82393
more on sorting
Tue, 01 Apr 2025 10:20:14 +0200 tuned whitespaces
changeset
desharna [Tue, 01 Apr 2025 10:20:14 +0200] rev 82392
tuned whitespaces
Mon, 31 Mar 2025 22:46:18 +0100 merged
changeset
paulson [Mon, 31 Mar 2025 22:46:18 +0100] rev 82391
merged
Mon, 31 Mar 2025 22:46:11 +0100 Some generalisations (mostly at the level of type classes) by Alexander Pach
changeset
paulson <lp15@cam.ac.uk> [Mon, 31 Mar 2025 22:46:11 +0100] rev 82390
Some generalisations (mostly at the level of type classes) by Alexander Pach
Sun, 30 Mar 2025 20:20:27 +0200 tuned
changeset
haftmann [Sun, 30 Mar 2025 20:20:27 +0200] rev 82389
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip
isabelle