| Thu, 26 Dec 2024 15:38:21 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 26 Dec 2024 15:24:21 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 26 Dec 2024 15:18:19 +0100 |
wenzelm |
drop redundant space in HTML (see also 18a720984855);
|
changeset |
files
|
| Thu, 26 Dec 2024 13:44:10 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 26 Dec 2024 13:22:28 +0100 |
wenzelm |
more robust: proper HTML.output;
|
changeset |
files
|
| Thu, 26 Dec 2024 12:46:45 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 26 Dec 2024 12:38:25 +0100 |
wenzelm |
tuned: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
| Thu, 26 Dec 2024 12:08:05 +0100 |
wenzelm |
clarified output;
|
changeset |
files
|
| Thu, 26 Dec 2024 12:03:56 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Tue, 24 Dec 2024 16:57:28 +0100 |
wenzelm |
more GUI styles;
|
changeset |
files
|
| Tue, 24 Dec 2024 14:59:56 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 23 Dec 2024 14:09:43 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 22 Dec 2024 14:21:39 +0100 |
wenzelm |
tuned: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
| Sun, 22 Dec 2024 14:13:21 +0100 |
wenzelm |
tuned: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
| Sun, 22 Dec 2024 14:11:31 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Mon, 23 Dec 2024 21:58:26 +0100 |
haftmann |
some bit operations on target numerals
|
changeset |
files
|
| Mon, 23 Dec 2024 21:22:10 +0100 |
haftmann |
explicit tests for target-language bit operations
|
changeset |
files
|
| Sun, 22 Dec 2024 08:46:03 +0100 |
haftmann |
avoid default simp rule which would produce strange recursive unfolding in presence of bit_eq_iff
|
changeset |
files
|
| Sat, 21 Dec 2024 13:27:20 +0100 |
wenzelm |
update to xz-java-1.10 for further testing (see also fe7238c01809);
|
changeset |
files
|
| Thu, 19 Dec 2024 15:13:33 +0100 |
haftmann |
more default simp rules
|
changeset |
files
|
| 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
|
| 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
|
| Sun, 15 Dec 2024 20:22:29 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 15 Dec 2024 20:12:45 +0100 |
wenzelm |
clarified signature (see also 2157039256d3);
|
changeset |
files
|
| Sun, 15 Dec 2024 14:59:57 +0100 |
wenzelm |
more syntax bundles, e.g. to explore terms without notation;
|
changeset |
files
|
| Sat, 14 Dec 2024 23:48:45 +0100 |
wenzelm |
commands 'syntax_types' and 'syntax_consts' now work in a local theory context;
|
changeset |
files
|
| Sat, 14 Dec 2024 22:26:27 +0100 |
wenzelm |
tuned names;
|
changeset |
files
|
| Sat, 14 Dec 2024 22:04:39 +0100 |
wenzelm |
tuned signature: avoid shadowing;
|
changeset |
files
|
| Sat, 14 Dec 2024 21:47:20 +0100 |
wenzelm |
syntax translations now work in a local theory context;
|
changeset |
files
|
| Sat, 14 Dec 2024 17:35:53 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 14 Dec 2024 16:58:53 +0100 |
wenzelm |
clarified signature and modules;
|
changeset |
files
|
| Fri, 13 Dec 2024 23:23:07 +0100 |
wenzelm |
minor performance tuning: avoid excessive Library.insert and Symbol.explode operations;
|
changeset |
files
|
| Thu, 12 Dec 2024 22:53:06 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Thu, 12 Dec 2024 17:07:17 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 12 Dec 2024 17:07:09 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 12 Dec 2024 16:57:06 +0100 |
wenzelm |
clarified class/locale reasoning: avoid side-stepping constraints;
|
changeset |
files
|
| Thu, 12 Dec 2024 15:45:29 +0100 |
wenzelm |
clarified default_sort: "cpo" for bootstrap, "domain" for main HOLCF;
|
changeset |
files
|
| Thu, 12 Dec 2024 12:35:59 +0100 |
wenzelm |
clarified specification context;
|
changeset |
files
|
| Wed, 11 Dec 2024 12:04:27 +0100 |
wenzelm |
activate e-3.1 as proposed by Martin Desharnais;
|
changeset |
files
|
| Wed, 11 Dec 2024 12:03:01 +0100 |
wenzelm |
more robust: avoid spurious crash of text_area.getText() in Active_Area.update();
|
changeset |
files
|
| Wed, 11 Dec 2024 11:18:52 +0100 |
wenzelm |
proper bundle binomial_syntax;
|
changeset |
files
|
| Wed, 11 Dec 2024 11:14:50 +0100 |
wenzelm |
build component for cvc5-1.2.0;
|
changeset |
files
|
| Wed, 11 Dec 2024 10:40:57 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Wed, 11 Dec 2024 10:28:12 +0100 |
wenzelm |
clarified default_sort;
|
changeset |
files
|
| Tue, 10 Dec 2024 22:59:13 +0100 |
wenzelm |
fewer theories;
|
changeset |
files
|
| Tue, 10 Dec 2024 22:40:07 +0100 |
wenzelm |
fewer theories;
|
changeset |
files
|
| Tue, 10 Dec 2024 21:43:04 +0100 |
wenzelm |
fewer theories (in contrast to 05ca920cd94b);
|
changeset |
files
|
| Tue, 10 Dec 2024 21:06:04 +0100 |
wenzelm |
more accurate markup for "CONST c";
|
changeset |
files
|
| Tue, 10 Dec 2024 19:47:47 +0100 |
wenzelm |
tuned markup;
|
changeset |
files
|
| Tue, 10 Dec 2024 19:23:55 +0100 |
wenzelm |
proper LaTeX setup (amending 41b387d47739);
|
changeset |
files
|
| Tue, 10 Dec 2024 16:37:09 +0100 |
wenzelm |
more LaTeX markup for printed entities;
|
changeset |
files
|
| Tue, 10 Dec 2024 14:42:56 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 10 Dec 2024 10:52:46 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 08 Dec 2024 20:13:40 +0100 |
wenzelm |
more HTML markup (without rendering);
|
changeset |
files
|
| Sun, 08 Dec 2024 20:09:14 +0100 |
wenzelm |
more markup (without rendering): class, type constructor, term constant --- similar to free, bound, etc.;
|
changeset |
files
|
| Sun, 08 Dec 2024 19:05:05 +0100 |
wenzelm |
tuned: more robust wrt. changes the Markup space;
|
changeset |
files
|
| Sun, 08 Dec 2024 15:12:20 +0100 |
wenzelm |
tuned: prefer explicit names of inferred types;
|
changeset |
files
|
| Sun, 08 Dec 2024 14:27:06 +0100 |
wenzelm |
more accurate HTML markup: suppress text_color that has_syntax (amending b57996a0688c);
|
changeset |
files
|
| Sun, 08 Dec 2024 11:49:55 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 08 Dec 2024 00:05:35 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 07 Dec 2024 23:40:29 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 07 Dec 2024 23:50:18 +0100 |
wenzelm |
clarified term positions and markup: syntax = true means this is via concrete syntax;
|
changeset |
files
|
| Sat, 07 Dec 2024 23:08:51 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 07 Dec 2024 21:49:05 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 07 Dec 2024 21:42:59 +0100 |
wenzelm |
clarified signature: more explicit operations;
|
changeset |
files
|
| Sat, 07 Dec 2024 16:07:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 07 Dec 2024 16:03:05 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 07 Dec 2024 15:00:43 +0100 |
wenzelm |
clarified signature and caching;
|
changeset |
files
|
| Sat, 07 Dec 2024 11:59:51 +0100 |
wenzelm |
clarified GUI: prefer user documents, which are typically without chapter;
|
changeset |
files
|
| Sat, 07 Dec 2024 11:13:02 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 06 Dec 2024 23:07:09 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Fri, 06 Dec 2024 22:40:43 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 06 Dec 2024 21:27:07 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 06 Dec 2024 20:46:24 +0100 |
wenzelm |
NEWS;
|
changeset |
files
|
| Fri, 06 Dec 2024 20:26:33 +0100 |
wenzelm |
clarified renaming of bounds, using Syntax_Trans.variant_bounds: avoid structures and fixed variables with syntax;
|
changeset |
files
|
| Fri, 06 Dec 2024 15:20:43 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 06 Dec 2024 13:33:25 +0100 |
wenzelm |
clarified printing of consts: rename apart from all bounds, and thus avoid old Term.declare_free_names with its adhoc policy ("as they are printed");
|
changeset |
files
|
| Tue, 03 Dec 2024 22:46:24 +0100 |
wenzelm |
prefer Term.variant_bounds: bounds vs. frees, no attempt at consts;
|
changeset |
files
|
| Mon, 02 Dec 2024 22:16:29 +0100 |
wenzelm |
more elementary operation Term.variant_bounds: only for bounds vs. frees, no consts, no tfrees;
|
changeset |
files
|
| Mon, 02 Dec 2024 20:35:12 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 02 Dec 2024 18:53:45 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|