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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 13 Jun 2025 20:59:51 +0200 the canonical homomorphism should be [simp]
changeset
nipkow [Fri, 13 Jun 2025 20:59:51 +0200] rev 82702
the canonical homomorphism should be [simp]
Fri, 13 Jun 2025 17:16:53 +0200 merged
changeset
nipkow [Fri, 13 Jun 2025 17:16:53 +0200] rev 82701
merged
Fri, 13 Jun 2025 17:16:38 +0200 added minus functions on lists
changeset
nipkow [Fri, 13 Jun 2025 17:16:38 +0200] rev 82700
added minus functions on lists
Fri, 13 Jun 2025 15:18:16 +0200 more robust GUI setup via Java, instead of shell script;
changeset
wenzelm [Fri, 13 Jun 2025 15:18:16 +0200] rev 82699
more robust GUI setup via Java, instead of shell script; support for automatic / approximative GDK_SCALE for Linux;
Thu, 12 Jun 2025 16:54:28 +0200 merged
changeset
wenzelm [Thu, 12 Jun 2025 16:54:28 +0200] rev 82698
merged
Thu, 12 Jun 2025 12:59:17 +0200 clarified modules;
changeset
wenzelm [Thu, 12 Jun 2025 12:59:17 +0200] rev 82697
clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 tip
isabelle