Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 09 Feb 2025 14:54:23 +0100 tuned: fewer warnings in IntelliJ IDEA;
changeset
wenzelm [Sun, 09 Feb 2025 14:54:23 +0100] rev 82124
tuned: fewer warnings in IntelliJ IDEA;
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;
Fri, 07 Feb 2025 22:23:24 +0100 web component for Find_Facts: bundled assets and compiled elm app;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 22:23:24 +0100] rev 82113
web component for Find_Facts: bundled assets and compiled elm app;
Fri, 07 Feb 2025 22:19:21 +0100 clarified;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 22:19:21 +0100] rev 82112
clarified;
Fri, 07 Feb 2025 22:18:44 +0100 clarified output file;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 22:18:44 +0100] rev 82111
clarified output file;
Fri, 07 Feb 2025 20:31:52 +0100 clarified;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 20:31:52 +0100] rev 82110
clarified;
Fri, 07 Feb 2025 20:30:13 +0100 tuned;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 20:30:13 +0100] rev 82109
tuned;
Thu, 06 Feb 2025 13:08:38 +0100 tuned: use Isabelle symbols for icons;
changeset
Fabian Huch <huch@in.tum.de> [Thu, 06 Feb 2025 13:08:38 +0100] rev 82108
tuned: use Isabelle symbols for icons;
Wed, 05 Feb 2025 15:28:17 +0100 css service, e.g. for dynamic web apps;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 05 Feb 2025 15:28:17 +0100] rev 82107
css service, e.g. for dynamic web apps;
Wed, 05 Feb 2025 15:05:10 +0100 more mime types;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 05 Feb 2025 15:05:10 +0100] rev 82106
more mime types;
Wed, 05 Feb 2025 14:56:39 +0100 proper error message for missing elm component;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 05 Feb 2025 14:56:39 +0100] rev 82105
proper error message for missing elm component;
Wed, 05 Feb 2025 10:29:39 +0100 clarified web;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 05 Feb 2025 10:29:39 +0100] rev 82104
clarified web;
Sat, 08 Feb 2025 11:18:30 +0100 more syntax update
changeset
nipkow [Sat, 08 Feb 2025 11:18:30 +0100] rev 82103
more syntax update
Fri, 07 Feb 2025 21:27:11 +0100 updated syntax
changeset
nipkow [Fri, 07 Feb 2025 21:27:11 +0100] rev 82102
updated syntax
Thu, 06 Feb 2025 22:10:16 +0100 more accurate rail diagram (amending de9d43c427ae);
changeset
wenzelm [Thu, 06 Feb 2025 22:10:16 +0100] rev 82101
more accurate rail diagram (amending de9d43c427ae);
Thu, 06 Feb 2025 17:29:03 +0100 merged
changeset
nipkow [Thu, 06 Feb 2025 17:29:03 +0100] rev 82100
merged
Thu, 06 Feb 2025 17:28:27 +0100 added Example theory
changeset
nipkow [Thu, 06 Feb 2025 17:28:27 +0100] rev 82099
added Example theory
Thu, 06 Feb 2025 16:21:00 +0000 merged
changeset
paulson [Thu, 06 Feb 2025 16:21:00 +0000] rev 82098
merged
Thu, 06 Feb 2025 16:20:52 +0000 Minor lemma tweaking
changeset
paulson <lp15@cam.ac.uk> [Thu, 06 Feb 2025 16:20:52 +0000] rev 82097
Minor lemma tweaking
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 tip
isabelle