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.
Sun, 09 Feb 2025 13:11:20 +0100 tuned message;
changeset
wenzelm [Sun, 09 Feb 2025 13:11:20 +0100] rev 82123
tuned message;
Sun, 09 Feb 2025 12:58:40 +0100 more complete brackets for jEdit modes;
changeset
wenzelm [Sun, 09 Feb 2025 12:58:40 +0100] rev 82122
more complete brackets for jEdit modes; tuned: more robust Isabelle symbols;
Sun, 09 Feb 2025 12:47:21 +0100 tuned: more robust Isabelle symbols;
changeset
wenzelm [Sun, 09 Feb 2025 12:47:21 +0100] rev 82121
tuned: more robust Isabelle symbols;
Sun, 09 Feb 2025 12:35:29 +0100 clarified modules: more robust Isabelle symbols;
changeset
wenzelm [Sun, 09 Feb 2025 12:35:29 +0100] rev 82120
clarified modules: more robust Isabelle symbols;
Sun, 09 Feb 2025 12:14:09 +0100 more thorough "isabelle check_sources";
changeset
wenzelm [Sun, 09 Feb 2025 12:14:09 +0100] rev 82119
more thorough "isabelle check_sources";
Sun, 09 Feb 2025 11:14:59 +0100 streamlined and actually integrated
changeset
haftmann [Sun, 09 Feb 2025 11:14:59 +0100] rev 82118
streamlined and actually integrated
Sat, 08 Feb 2025 17:46:10 +0100 merged
changeset
nipkow [Sat, 08 Feb 2025 17:46:10 +0100] rev 82117
merged
Sat, 08 Feb 2025 17:45:49 +0100 added lemma
changeset
nipkow [Sat, 08 Feb 2025 17:45:49 +0100] rev 82116
added lemma
Sat, 08 Feb 2025 17:44:04 +0100 merged
changeset
Fabian Huch <huch@in.tum.de> [Sat, 08 Feb 2025 17:44:04 +0100] rev 82115
merged
Sat, 08 Feb 2025 17:24:19 +0100 add find_facts_web component;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 08 Feb 2025 17:24:19 +0100] rev 82114
add find_facts_web component;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip
isabelle