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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 26 Jun 2025 17:30:33 +0200 merged
changeset
nipkow [Thu, 26 Jun 2025 17:30:33 +0200] rev 82772
merged
Thu, 26 Jun 2025 17:30:16 +0200 tuned
changeset
nipkow [Thu, 26 Jun 2025 17:30:16 +0200] rev 82771
tuned
Thu, 26 Jun 2025 17:16:14 +0200 enforce rebuild of Isabelle/ML;
changeset
wenzelm [Thu, 26 Jun 2025 17:16:14 +0200] rev 82770
enforce rebuild of Isabelle/ML;
Thu, 26 Jun 2025 17:14:01 +0200 proper build_context.store, instead of circular null value (amending 0e36478a1b6a and e891ff63e6db);
changeset
wenzelm [Thu, 26 Jun 2025 17:14:01 +0200] rev 82769
proper build_context.store, instead of circular null value (amending 0e36478a1b6a and e891ff63e6db);
Wed, 25 Jun 2025 16:35:25 +0200 merged
changeset
wenzelm [Wed, 25 Jun 2025 16:35:25 +0200] rev 82768
merged
Wed, 25 Jun 2025 13:32:28 +0200 more operations (e.g. for testing);
changeset
wenzelm [Wed, 25 Jun 2025 13:32:28 +0200] rev 82767
more operations (e.g. for testing);
Wed, 25 Jun 2025 13:29:06 +0200 tuned;
changeset
wenzelm [Wed, 25 Jun 2025 13:29:06 +0200] rev 82766
tuned;
Wed, 25 Jun 2025 13:16:07 +0200 tuned signature: more explicit operations;
changeset
wenzelm [Wed, 25 Jun 2025 13:16:07 +0200] rev 82765
tuned signature: more explicit operations;
Wed, 25 Jun 2025 12:51:35 +0200 more accurate ML_Settings from underlying Session;
changeset
wenzelm [Wed, 25 Jun 2025 12:51:35 +0200] rev 82764
more accurate ML_Settings from underlying Session;
Wed, 25 Jun 2025 12:43:37 +0200 more accurate ML_Settings from underlying Session;
changeset
wenzelm [Wed, 25 Jun 2025 12:43:37 +0200] rev 82763
more accurate ML_Settings from underlying Session;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip
isabelle