Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 12 Feb 2025 18:22:55 +0100 add document options to build_sync, since Sessions.Info is read from export database for document generation (amending 6e5397fcc41b);
changeset
Fabian Huch <huch@in.tum.de> [Wed, 12 Feb 2025 18:22:55 +0100] rev 82138
add document options to build_sync, since Sessions.Info is read from export database for document generation (amending 6e5397fcc41b);
Wed, 12 Feb 2025 16:27:24 +0000 A couple of additional lemmas
changeset
paulson <lp15@cam.ac.uk> [Wed, 12 Feb 2025 16:27:24 +0000] rev 82137
A couple of additional lemmas
Wed, 12 Feb 2025 08:48:15 +0100 merged
changeset
desharna [Wed, 12 Feb 2025 08:48:15 +0100] rev 82136
merged
Wed, 12 Feb 2025 08:47:44 +0100 tuned Sledgehammer's TPTP generation
changeset
desharna [Wed, 12 Feb 2025 08:47:44 +0100] rev 82135
tuned Sledgehammer's TPTP generation Some provers, such as E 3.1 and 3.2, fail to parse != without parentheses.
Tue, 11 Feb 2025 18:20:00 +0100 relative paths;
changeset
Fabian Huch <huch@in.tum.de> [Tue, 11 Feb 2025 18:20:00 +0100] rev 82134
relative paths;
Tue, 11 Feb 2025 17:02:53 +0100 handle path change properly;
changeset
Fabian Huch <huch@in.tum.de> [Tue, 11 Feb 2025 17:02:53 +0100] rev 82133
handle path change properly;
Tue, 11 Feb 2025 17:01:28 +0100 proper relative paths;
changeset
Fabian Huch <huch@in.tum.de> [Tue, 11 Feb 2025 17:01:28 +0100] rev 82132
proper relative paths;
Mon, 10 Feb 2025 10:52:55 +0100 remove limit on boolean clauses in Solr, introduced in "fix" SOLR-13336;
changeset
Fabian Huch <huch@in.tum.de> [Mon, 10 Feb 2025 10:52:55 +0100] rev 82131
remove limit on boolean clauses in Solr, introduced in "fix" SOLR-13336;
Sun, 09 Feb 2025 17:17:36 +0100 less ambitious test, thanks to 1126ee407227;
changeset
wenzelm [Sun, 09 Feb 2025 17:17:36 +0100] rev 82130
less ambitious test, thanks to 1126ee407227;
Sun, 09 Feb 2025 17:04:14 +0100 more documentation;
changeset
wenzelm [Sun, 09 Feb 2025 17:04:14 +0100] rev 82129
more documentation;
Sun, 09 Feb 2025 16:56:55 +0100 tuned NEWS for release;
changeset
wenzelm [Sun, 09 Feb 2025 16:56:55 +0100] rev 82128
tuned NEWS for release;
Sun, 09 Feb 2025 16:24:20 +0100 tuned GUI: no scroll_bottom for completely different output;
changeset
wenzelm [Sun, 09 Feb 2025 16:24:20 +0100] rev 82127
tuned GUI: no scroll_bottom for completely different output;
Sun, 09 Feb 2025 16:16:26 +0100 tuned GUI: preserve horizontal scrollbar position;
changeset
wenzelm [Sun, 09 Feb 2025 16:16:26 +0100] rev 82126
tuned GUI: preserve horizontal scrollbar position;
Sun, 09 Feb 2025 14:54:35 +0100 tuned: more robust Isabelle symbols;
changeset
wenzelm [Sun, 09 Feb 2025 14:54:35 +0100] rev 82125
tuned: more robust Isabelle symbols;
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
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 tip
isabelle