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.
Wed, 25 Jun 2025 12:37:43 +0200 tuned signature;
changeset
wenzelm [Wed, 25 Jun 2025 12:37:43 +0200] rev 82762
tuned signature;
Wed, 25 Jun 2025 12:29:04 +0200 clarified signature;
changeset
wenzelm [Wed, 25 Jun 2025 12:29:04 +0200] rev 82761
clarified signature;
Wed, 25 Jun 2025 12:25:02 +0200 more robust session startup, notably Isabelle/jEdit with session build (amending 0e36478a1b6a);
changeset
wenzelm [Wed, 25 Jun 2025 12:25:02 +0200] rev 82760
more robust session startup, notably Isabelle/jEdit with session build (amending 0e36478a1b6a);
Wed, 25 Jun 2025 12:08:12 +0200 clarified signature: more accurate ML_Settings;
changeset
wenzelm [Wed, 25 Jun 2025 12:08:12 +0200] rev 82759
clarified signature: more accurate ML_Settings;
Wed, 25 Jun 2025 11:51:13 +0200 clarified modules;
changeset
wenzelm [Wed, 25 Jun 2025 11:51:13 +0200] rev 82758
clarified modules;
Wed, 25 Jun 2025 11:46:08 +0200 clarified signature: avoid duplicate ML_Settings.system;
changeset
wenzelm [Wed, 25 Jun 2025 11:46:08 +0200] rev 82757
clarified signature: avoid duplicate ML_Settings.system;
Tue, 24 Jun 2025 22:30:49 +0200 clarified signature: general Session.open_session_context;
changeset
wenzelm [Tue, 24 Jun 2025 22:30:49 +0200] rev 82756
clarified signature: general Session.open_session_context;
Tue, 24 Jun 2025 22:21:49 +0200 tuned;
changeset
wenzelm [Tue, 24 Jun 2025 22:21:49 +0200] rev 82755
tuned;
Tue, 24 Jun 2025 22:17:35 +0200 tuned;
changeset
wenzelm [Tue, 24 Jun 2025 22:17:35 +0200] rev 82754
tuned;
Tue, 24 Jun 2025 22:11:04 +0200 tuned;
changeset
wenzelm [Tue, 24 Jun 2025 22:11:04 +0200] rev 82753
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip
isabelle