| 4 months ago |
desharna |
merged
|
changeset |
files
|
| 4 months ago |
desharna |
minor performance tuning; avoid constructing path if unused and double construction
|
changeset |
files
|
| 4 months ago |
wenzelm |
merged
|
changeset |
files
|
| 4 months ago |
wenzelm |
more markup: for diagnostic purposes of ambig_msgs;
|
changeset |
files
|
| 4 months ago |
wenzelm |
more uniform Markup.notation vs. Markup.expression;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned output: suppress vacuous nodes from 07ad0b407d38;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified LaTeX presentation: more specific keywords;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified literal data;
|
changeset |
files
|
| 4 months ago |
desharna |
merged
|
changeset |
files
|
| 4 months ago |
desharna |
tuned ATP caching in Sledgehammer to consider the command line
|
changeset |
files
|
| 4 months ago |
desharna |
tuned function lines_of_atp_problem to have header lines as proper list elements
|
changeset |
files
|
| 4 months ago |
desharna |
tuned tests for existing directories in Sledgehammer
|
changeset |
files
|
| 4 months ago |
wenzelm |
merged
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned GUI: more informative search_title;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified induct rules: proper case_names;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned proofs;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned GUI: trim text as in org.gjt.sp.jedit.search.HyperSearchResult;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified GUI: more auto_hovering_button instances;
|
changeset |
files
|
| 4 months ago |
wenzelm |
more robust: prefer official BasicSplitPaneUI operations;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified split_pane layout: close on first display, open on first search;
|
changeset |
files
|
| 4 months ago |
wenzelm |
more operations, specifically for FlatLaf;
|
changeset |
files
|
| 4 months ago |
desharna |
added documentation for new Sledehammer option "cache_dir"
|
changeset |
files
|
| 4 months ago |
desharna |
updated affiliation in Sledgehammer documentation
|
changeset |
files
|
| 4 months ago |
desharna |
merged
|
changeset |
files
|
| 4 months ago |
desharna |
added option "cache_dir" to Sledgehammer
|
changeset |
files
|
| 4 months ago |
haftmann |
more simp rules on word conversions
|
changeset |
files
|
| 4 months ago |
wenzelm |
spelling;
|
changeset |
files
|
| 4 months ago |
wenzelm |
update to xz-java-1.10;
|
changeset |
files
|
| 4 months ago |
wenzelm |
update to zstd-jni-1.5.6-8;
|
changeset |
files
|
| 4 months ago |
wenzelm |
update to sqlite-3.47.1.0;
|
changeset |
files
|
| 4 months ago |
wenzelm |
updated to postgresql-42.7.4;
|
changeset |
files
|
| 4 months ago |
wenzelm |
update to llncs-2.25;
|
changeset |
files
|
| 4 months ago |
wenzelm |
update to jsoup-1.18.3;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified signature;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned proofs;
|
changeset |
files
|
| 4 months ago |
wenzelm |
avoid duplicate markup, notably from "CONST c";
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified pretty_entity for syntax consts without mixfix annotation (see also 43c4817375bf and d622145603ee);
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified signature (see also 2157039256d3);
|
changeset |
files
|
| 4 months ago |
wenzelm |
more syntax bundles, e.g. to explore terms without notation;
|
changeset |
files
|
| 4 months ago |
wenzelm |
commands 'syntax_types' and 'syntax_consts' now work in a local theory context;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned names;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned signature: avoid shadowing;
|
changeset |
files
|
| 4 months ago |
wenzelm |
syntax translations now work in a local theory context;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified signature;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified signature and modules;
|
changeset |
files
|
| 4 months ago |
wenzelm |
minor performance tuning: avoid excessive Library.insert and Symbol.explode operations;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned proofs;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned proofs;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified class/locale reasoning: avoid side-stepping constraints;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified default_sort: "cpo" for bootstrap, "domain" for main HOLCF;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified specification context;
|
changeset |
files
|
| 4 months ago |
wenzelm |
activate e-3.1 as proposed by Martin Desharnais;
|
changeset |
files
|
| 4 months ago |
wenzelm |
more robust: avoid spurious crash of text_area.getText() in Active_Area.update();
|
changeset |
files
|
| 4 months ago |
wenzelm |
proper bundle binomial_syntax;
|
changeset |
files
|
| 4 months ago |
wenzelm |
build component for cvc5-1.2.0;
|
changeset |
files
|
| 4 months ago |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| 4 months ago |
wenzelm |
clarified default_sort;
|
changeset |
files
|
| 4 months ago |
wenzelm |
fewer theories;
|
changeset |
files
|