| Thu, 19 Dec 2024 22:19:27 +0100 |
wenzelm |
back to xz-java-1.9, to see if this improves build_manager stability;
|
changeset |
files
|
| Thu, 19 Dec 2024 17:01:54 +0000 |
paulson |
merged
|
changeset |
files
|
| Thu, 19 Dec 2024 17:01:40 +0000 |
paulson |
revered the hiding of the standard nat theorems
|
changeset |
files
|
| Thu, 19 Dec 2024 16:01:06 +0100 |
desharna |
minor performance tuning; directly try to read file instead of first checking its existence
|
changeset |
files
|
| Thu, 19 Dec 2024 08:26:04 +0100 |
desharna |
merged
|
changeset |
files
|
| Thu, 19 Dec 2024 08:18:21 +0100 |
desharna |
minor performance tuning; avoid constructing path if unused and double construction
|
changeset |
files
|
| Wed, 18 Dec 2024 23:36:51 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 18 Dec 2024 21:06:55 +0100 |
wenzelm |
more markup: for diagnostic purposes of ambig_msgs;
|
changeset |
files
|
| Wed, 18 Dec 2024 16:03:07 +0100 |
wenzelm |
more uniform Markup.notation vs. Markup.expression;
|
changeset |
files
|
| Wed, 18 Dec 2024 14:53:31 +0100 |
wenzelm |
tuned output: suppress vacuous nodes from 07ad0b407d38;
|
changeset |
files
|
| Wed, 18 Dec 2024 13:49:55 +0100 |
wenzelm |
clarified LaTeX presentation: more specific keywords;
|
changeset |
files
|
| Wed, 18 Dec 2024 12:49:42 +0100 |
wenzelm |
clarified literal data;
|
changeset |
files
|
| Wed, 18 Dec 2024 16:48:14 +0100 |
desharna |
merged
|
changeset |
files
|
| 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
|