Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 17 Dec 2021 09:52:42 +0100 tuned ATP to use is_widely_irrelevant_const
changeset
desharna [Fri, 17 Dec 2021 09:52:42 +0100] rev 74949
tuned ATP to use is_widely_irrelevant_const
Fri, 17 Dec 2021 09:51:37 +0100 added support for initialization messages to Mirabelle
changeset
desharna [Fri, 17 Dec 2021 09:51:37 +0100] rev 74948
added support for initialization messages to Mirabelle
Fri, 17 Dec 2021 16:36:42 +0100 tuned comment
changeset
blanchet [Fri, 17 Dec 2021 16:36:42 +0100] rev 74947
tuned comment
Wed, 15 Dec 2021 23:18:41 +0100 support for JSON:API;
changeset
wenzelm [Wed, 15 Dec 2021 23:18:41 +0100] rev 74946
support for JSON:API;
Wed, 15 Dec 2021 19:41:30 +0100 support for Flarum server;
changeset
wenzelm [Wed, 15 Dec 2021 19:41:30 +0100] rev 74945
support for Flarum server;
Wed, 15 Dec 2021 19:39:02 +0100 tuned whitespace;
changeset
wenzelm [Wed, 15 Dec 2021 19:39:02 +0100] rev 74944
tuned whitespace;
Wed, 15 Dec 2021 19:30:57 +0100 tuned imports;
changeset
wenzelm [Wed, 15 Dec 2021 19:30:57 +0100] rev 74943
tuned imports;
Wed, 15 Dec 2021 15:26:31 +0100 tuned comments;
changeset
wenzelm [Wed, 15 Dec 2021 15:26:31 +0100] rev 74942
tuned comments;
Wed, 15 Dec 2021 13:07:49 +0100 clarified author names;
changeset
wenzelm [Wed, 15 Dec 2021 13:07:49 +0100] rev 74941
clarified author names;
Wed, 15 Dec 2021 12:41:33 +0100 clarified author names;
changeset
wenzelm [Wed, 15 Dec 2021 12:41:33 +0100] rev 74940
clarified author names;
Tue, 14 Dec 2021 21:13:07 +0100 merged
changeset
wenzelm [Tue, 14 Dec 2021 21:13:07 +0100] rev 74939
merged
Tue, 14 Dec 2021 21:12:33 +0100 more accurate names;
changeset
wenzelm [Tue, 14 Dec 2021 21:12:33 +0100] rev 74938
more accurate names; complete coverage of mail addresses;
Tue, 14 Dec 2021 20:50:35 +0100 more standard author_info;
changeset
wenzelm [Tue, 14 Dec 2021 20:50:35 +0100] rev 74937
more standard author_info;
Tue, 14 Dec 2021 19:23:21 +0100 clarified author info and cluster nodes;
changeset
wenzelm [Tue, 14 Dec 2021 19:23:21 +0100] rev 74936
clarified author info and cluster nodes;
Tue, 14 Dec 2021 17:22:40 +0100 more data integrity: name vs. address;
changeset
wenzelm [Tue, 14 Dec 2021 17:22:40 +0100] rev 74935
more data integrity: name vs. address;
Tue, 14 Dec 2021 10:19:48 +0100 clarified signature: more operations;
changeset
wenzelm [Tue, 14 Dec 2021 10:19:48 +0100] rev 74934
clarified signature: more operations;
Tue, 14 Dec 2021 10:07:10 +0100 clarified signature;
changeset
wenzelm [Tue, 14 Dec 2021 10:07:10 +0100] rev 74933
clarified signature;
Tue, 14 Dec 2021 09:53:54 +0100 tuned;
changeset
wenzelm [Tue, 14 Dec 2021 09:53:54 +0100] rev 74932
tuned;
Tue, 14 Dec 2021 09:46:29 +0100 more data integrity: name vs. address;
changeset
wenzelm [Tue, 14 Dec 2021 09:46:29 +0100] rev 74931
more data integrity: name vs. address;
Tue, 14 Dec 2021 08:59:49 +0100 tuned comments;
changeset
wenzelm [Tue, 14 Dec 2021 08:59:49 +0100] rev 74930
tuned comments;
Tue, 14 Dec 2021 09:05:41 +0100 merged
changeset
desharna [Tue, 14 Dec 2021 09:05:41 +0100] rev 74929
merged
Mon, 13 Dec 2021 22:53:02 +0100 tuned ATP to use fold_index
changeset
desharna [Mon, 13 Dec 2021 22:53:02 +0100] rev 74928
tuned ATP to use fold_index
Fri, 10 Dec 2021 16:46:29 +0100 tuned sledgehammer to use map_index
changeset
desharna [Fri, 10 Dec 2021 16:46:29 +0100] rev 74927
tuned sledgehammer to use map_index
Mon, 13 Dec 2021 22:13:22 +0100 merged
changeset
wenzelm [Mon, 13 Dec 2021 22:13:22 +0100] rev 74926
merged
Mon, 13 Dec 2021 22:12:48 +0100 more data integrity: name vs. address;
changeset
wenzelm [Mon, 13 Dec 2021 22:12:48 +0100] rev 74925
more data integrity: name vs. address;
Mon, 13 Dec 2021 19:39:12 +0100 misc tuning and clarification;
changeset
wenzelm [Mon, 13 Dec 2021 19:39:12 +0100] rev 74924
misc tuning and clarification;
Mon, 13 Dec 2021 19:21:24 +0100 clarified name;
changeset
wenzelm [Mon, 13 Dec 2021 19:21:24 +0100] rev 74923
clarified name;
Mon, 13 Dec 2021 17:59:02 +0100 more mailing list content;
changeset
wenzelm [Mon, 13 Dec 2021 17:59:02 +0100] rev 74922
more mailing list content;
Mon, 13 Dec 2021 15:34:40 +0100 more mailing list content;
changeset
wenzelm [Mon, 13 Dec 2021 15:34:40 +0100] rev 74921
more mailing list content;
Mon, 13 Dec 2021 11:19:18 +0100 updated links;
changeset
wenzelm [Mon, 13 Dec 2021 11:19:18 +0100] rev 74920
updated links;
Sat, 11 Dec 2021 13:06:46 +0100 added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff;
changeset
wenzelm [Sat, 11 Dec 2021 13:06:46 +0100] rev 74919
added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff;
Fri, 10 Dec 2021 14:20:27 +0100 tuned ATP to use map_index
changeset
desharna [Fri, 10 Dec 2021 14:20:27 +0100] rev 74918
tuned ATP to use map_index
Sun, 12 Dec 2021 20:38:47 +0100 removed obsolete RC tags;
changeset
wenzelm [Sun, 12 Dec 2021 20:38:47 +0100] rev 74917
removed obsolete RC tags;
Sun, 12 Dec 2021 20:37:38 +0100 proper path;
changeset
wenzelm [Sun, 12 Dec 2021 20:37:38 +0100] rev 74916
proper path;
Sun, 12 Dec 2021 11:18:42 +0100 merged, resolving conflict in src/Doc/Implementation/Logic.thy;
changeset
wenzelm [Sun, 12 Dec 2021 11:18:42 +0100] rev 74915
merged, resolving conflict in src/Doc/Implementation/Logic.thy;
Sun, 12 Dec 2021 10:42:51 +0100 Added tag Isabelle2021-1 for changeset c2a2be496f35
changeset
wenzelm [Sun, 12 Dec 2021 10:42:51 +0100] rev 74914
Added tag Isabelle2021-1 for changeset c2a2be496f35
Sat, 11 Dec 2021 11:24:48 +0100 tuned; Isabelle2021-1
changeset
wenzelm [Sat, 11 Dec 2021 11:24:48 +0100] rev 74913
tuned;
Tue, 07 Dec 2021 22:11:43 +0100 proper ML types (amending 1aa92bc4d356);
changeset
wenzelm [Tue, 07 Dec 2021 22:11:43 +0100] rev 74912
proper ML types (amending 1aa92bc4d356);
Tue, 07 Dec 2021 22:04:46 +0100 proper types for Scala.Fun instances (amending 1aa92bc4d356);
changeset
wenzelm [Tue, 07 Dec 2021 22:04:46 +0100] rev 74911
proper types for Scala.Fun instances (amending 1aa92bc4d356);
Tue, 07 Dec 2021 19:32:43 +0100 proper syntax category;
changeset
wenzelm [Tue, 07 Dec 2021 19:32:43 +0100] rev 74910
proper syntax category;
Sat, 11 Dec 2021 11:17:36 +0100 provide component naproche-20211211;
changeset
wenzelm [Sat, 11 Dec 2021 11:17:36 +0100] rev 74909
provide component naproche-20211211;
Fri, 10 Dec 2021 20:02:14 +0100 merged
changeset
wenzelm [Fri, 10 Dec 2021 20:02:14 +0100] rev 74908
merged
Fri, 10 Dec 2021 19:21:14 +0100 more Mailman archives;
changeset
wenzelm [Fri, 10 Dec 2021 19:21:14 +0100] rev 74907
more Mailman archives;
Fri, 10 Dec 2021 18:56:18 +0100 more Mailman content;
changeset
wenzelm [Fri, 10 Dec 2021 18:56:18 +0100] rev 74906
more Mailman content;
Fri, 10 Dec 2021 16:55:42 +0100 clarified signature;
changeset
wenzelm [Fri, 10 Dec 2021 16:55:42 +0100] rev 74905
clarified signature;
Fri, 10 Dec 2021 08:53:02 +0100 tuned metis to use map_index
changeset
desharna [Fri, 10 Dec 2021 08:53:02 +0100] rev 74904
tuned metis to use map_index
Fri, 10 Dec 2021 08:58:09 +0100 merged
changeset
desharna [Fri, 10 Dec 2021 08:58:09 +0100] rev 74903
merged
Fri, 10 Dec 2021 08:39:34 +0100 fixed HOL-TPTP
changeset
desharna [Fri, 10 Dec 2021 08:39:34 +0100] rev 74902
fixed HOL-TPTP
Thu, 09 Dec 2021 14:20:55 +0100 tuned vars_of_iterm
changeset
desharna [Thu, 09 Dec 2021 14:20:55 +0100] rev 74901
tuned vars_of_iterm
Tue, 07 Dec 2021 23:27:06 +0100 fixed TPTP generation of multi-arity expressions
changeset
desharna [Tue, 07 Dec 2021 23:27:06 +0100] rev 74900
fixed TPTP generation of multi-arity expressions
Mon, 29 Nov 2021 15:45:17 +0100 proper handling of Hilbert choice in TFX logics
changeset
desharna [Mon, 29 Nov 2021 15:45:17 +0100] rev 74899
proper handling of Hilbert choice in TFX logics
Sun, 28 Nov 2021 21:16:35 +0100 proper tptp_builtins
changeset
desharna [Sun, 28 Nov 2021 21:16:35 +0100] rev 74898
proper tptp_builtins
Sun, 28 Nov 2021 14:15:01 +0100 reused Sledgehammer code to parse parameters of sledgehammer action in Mirabelle
changeset
desharna [Sun, 28 Nov 2021 14:15:01 +0100] rev 74897
reused Sledgehammer code to parse parameters of sledgehammer action in Mirabelle
Sun, 21 Nov 2021 11:21:16 +0100 proper proxy for Hilbert choice in TPTP output
changeset
desharna [Sun, 21 Nov 2021 11:21:16 +0100] rev 74896
proper proxy for Hilbert choice in TPTP output
Fri, 19 Nov 2021 11:04:53 +0100 proper polymorphism for TH1 format in Sledgehammer
changeset
desharna [Fri, 19 Nov 2021 11:04:53 +0100] rev 74895
proper polymorphism for TH1 format in Sledgehammer
Fri, 19 Nov 2021 10:53:22 +0100 refactored $ite and $let configuration and added dummy_thf_reduced prover
changeset
desharna [Fri, 19 Nov 2021 10:53:22 +0100] rev 74894
refactored $ite and $let configuration and added dummy_thf_reduced prover
Wed, 17 Nov 2021 21:36:13 +0100 tuned TPTP file names generated by Sledgehammer
changeset
desharna [Wed, 17 Nov 2021 21:36:13 +0100] rev 74893
tuned TPTP file names generated by Sledgehammer
Wed, 17 Nov 2021 21:19:36 +0100 tuned SMT-Lib file names generated by Mirabelle
changeset
desharna [Wed, 17 Nov 2021 21:19:36 +0100] rev 74892
tuned SMT-Lib file names generated by Mirabelle
Wed, 17 Nov 2021 19:52:17 +0100 added support for higher-order SMT proof search in Sledgehammer
changeset
desharna [Wed, 17 Nov 2021 19:52:17 +0100] rev 74891
added support for higher-order SMT proof search in Sledgehammer
Fri, 12 Nov 2021 00:10:16 +0100 separated FOOL from $ite/$let in TPTP output
changeset
desharna [Fri, 12 Nov 2021 00:10:16 +0100] rev 74890
separated FOOL from $ite/$let in TPTP output
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip
isabelle