| 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
|
| Mon, 02 Dec 2024 14:30:10 +0100 |
wenzelm |
more accurate extern_const: avoid clash with frees;
|
changeset |
files
|
| Mon, 02 Dec 2024 14:08:28 +0100 |
wenzelm |
more direct Proof_Context.lookup_free -- bypass redundancy of Proof_Context.check_const;
|
changeset |
files
|
| Mon, 02 Dec 2024 11:45:42 +0100 |
wenzelm |
clarified signature: uniform context;
|
changeset |
files
|
| Mon, 02 Dec 2024 11:36:53 +0100 |
wenzelm |
clarified signature: uniform context;
|
changeset |
files
|
| Mon, 02 Dec 2024 11:22:44 +0100 |
wenzelm |
proper context for extern operation: observe local options;
|
changeset |
files
|
| Mon, 02 Dec 2024 11:08:36 +0100 |
wenzelm |
proper context for extern/check operation: observe local options like names_unique;
|
changeset |
files
|
| Sun, 01 Dec 2024 22:14:13 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 01 Dec 2024 21:46:54 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Thu, 05 Dec 2024 19:44:53 +0100 |
nipkow |
added Halting problem theory
|
changeset |
files
|
| Thu, 05 Dec 2024 15:49:48 +0100 |
desharna |
merged
|
changeset |
files
|