| Wed, 18 Dec 2024 16:33:32 +0100 |
desharna |
tuned ATP caching in Sledgehammer to consider the command line
|
changeset |
files
|
| Wed, 18 Dec 2024 16:32:49 +0100 |
desharna |
tuned function lines_of_atp_problem to have header lines as proper list elements
|
changeset |
files
|
| Wed, 18 Dec 2024 16:20:34 +0100 |
desharna |
tuned tests for existing directories in Sledgehammer
|
changeset |
files
|
| Wed, 18 Dec 2024 11:59:44 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 18 Dec 2024 11:59:38 +0100 |
wenzelm |
tuned GUI: more informative search_title;
|
changeset |
files
|
| Tue, 17 Dec 2024 23:07:13 +0100 |
wenzelm |
clarified induct rules: proper case_names;
|
changeset |
files
|
| Tue, 17 Dec 2024 15:35:46 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Tue, 17 Dec 2024 14:56:13 +0100 |
wenzelm |
tuned GUI: trim text as in org.gjt.sp.jedit.search.HyperSearchResult;
|
changeset |
files
|
| Tue, 17 Dec 2024 13:38:52 +0100 |
wenzelm |
clarified GUI: more auto_hovering_button instances;
|
changeset |
files
|
| Tue, 17 Dec 2024 13:14:55 +0100 |
wenzelm |
more robust: prefer official BasicSplitPaneUI operations;
|
changeset |
files
|
| Tue, 17 Dec 2024 12:36:37 +0100 |
wenzelm |
clarified split_pane layout: close on first display, open on first search;
|
changeset |
files
|
| Mon, 16 Dec 2024 22:53:31 +0100 |
wenzelm |
more operations, specifically for FlatLaf;
|
changeset |
files
|
| Wed, 18 Dec 2024 11:02:56 +0100 |
desharna |
added documentation for new Sledehammer option "cache_dir"
|
changeset |
files
|
| Wed, 18 Dec 2024 10:43:44 +0100 |
desharna |
updated affiliation in Sledgehammer documentation
|
changeset |
files
|
| Wed, 18 Dec 2024 10:23:25 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 18 Dec 2024 10:21:58 +0100 |
desharna |
added option "cache_dir" to Sledgehammer
|
changeset |
files
|
| Mon, 16 Dec 2024 21:08:43 +0100 |
haftmann |
more simp rules on word conversions
|
changeset |
files
|
| Mon, 16 Dec 2024 19:22:54 +0100 |
wenzelm |
spelling;
|
changeset |
files
|
| Mon, 16 Dec 2024 19:09:14 +0100 |
wenzelm |
update to xz-java-1.10;
|
changeset |
files
|
| Mon, 16 Dec 2024 13:55:26 +0100 |
wenzelm |
update to zstd-jni-1.5.6-8;
|
changeset |
files
|
| Mon, 16 Dec 2024 13:51:32 +0100 |
wenzelm |
update to sqlite-3.47.1.0;
|
changeset |
files
|
| Mon, 16 Dec 2024 13:32:36 +0100 |
wenzelm |
updated to postgresql-42.7.4;
|
changeset |
files
|
| Mon, 16 Dec 2024 13:13:05 +0100 |
wenzelm |
update to llncs-2.25;
|
changeset |
files
|
| Mon, 16 Dec 2024 13:08:32 +0100 |
wenzelm |
update to jsoup-1.18.3;
|
changeset |
files
|
| Mon, 16 Dec 2024 12:55:39 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 15 Dec 2024 22:58:48 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sun, 15 Dec 2024 21:39:43 +0100 |
wenzelm |
avoid duplicate markup, notably from "CONST c";
|
changeset |
files
|
| Sun, 15 Dec 2024 21:15:18 +0100 |
wenzelm |
clarified pretty_entity for syntax consts without mixfix annotation (see also 43c4817375bf and d622145603ee);
|
changeset |
files
|