Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 30 Nov 2022 22:07:59 +0100 tuned signature;
changeset
wenzelm [Wed, 30 Nov 2022 22:07:59 +0100] rev 76548
tuned signature;
Wed, 30 Nov 2022 21:53:55 +0100 tuned signature;
changeset
wenzelm [Wed, 30 Nov 2022 21:53:55 +0100] rev 76547
tuned signature;
Wed, 30 Nov 2022 21:36:06 +0100 proper unzip with strip option, within the JVM;
changeset
wenzelm [Wed, 30 Nov 2022 21:36:06 +0100] rev 76546
proper unzip with strip option, within the JVM; tuned component build process;
Wed, 30 Nov 2022 15:53:21 +0100 updated to sqlite-jdbc-3.39.4.1;
changeset
wenzelm [Wed, 30 Nov 2022 15:53:21 +0100] rev 76545
updated to sqlite-jdbc-3.39.4.1; clarified directory layout;
Wed, 30 Nov 2022 15:38:58 +0100 more standard component build process;
changeset
wenzelm [Wed, 30 Nov 2022 15:38:58 +0100] rev 76544
more standard component build process;
Wed, 30 Nov 2022 15:32:25 +0100 clarified signature: prefer Scala functions instead of shell scripts;
changeset
wenzelm [Wed, 30 Nov 2022 15:32:25 +0100] rev 76543
clarified signature: prefer Scala functions instead of shell scripts;
Wed, 30 Nov 2022 15:19:57 +0100 tuned;
changeset
wenzelm [Wed, 30 Nov 2022 15:19:57 +0100] rev 76542
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip
isabelle