| 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
|