| 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
|
| Fri, 29 Sep 2023 15:27:43 +0200 |
desharna |
added parallel_group_size option to Mirabelle
|
changeset |
files
|
| Thu, 05 Dec 2024 15:23:46 +0100 |
desharna |
adapted bash files to use cartouches
|
changeset |
files
|
| Mon, 02 Dec 2024 12:38:27 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Sun, 01 Dec 2024 21:14:56 +0100 |
wenzelm |
clarified names context: proper context, without consts;
|
changeset |
files
|
| Sun, 01 Dec 2024 21:13:57 +0100 |
wenzelm |
clarified names context: proper context, without consts;
|
changeset |
files
|
| Sun, 01 Dec 2024 18:12:24 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 01 Dec 2024 14:24:10 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 01 Dec 2024 14:01:47 +0100 |
wenzelm |
clarified signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 23:30:36 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 30 Nov 2024 22:33:21 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 30 Nov 2024 22:02:36 +0100 |
wenzelm |
tuned names/scopes;
|
changeset |
files
|
| Sat, 30 Nov 2024 21:01:59 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 19:21:38 +0100 |
wenzelm |
eliminate historic clone (see also 550e36c6a2d1);
|
changeset |
files
|
| Sat, 30 Nov 2024 17:14:30 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 16:42:22 +0100 |
wenzelm |
clarified 'unbundle' polarity, according to algebraic group laws;
|
changeset |
files
|
| Sat, 30 Nov 2024 16:01:58 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:41:38 +0100 |
wenzelm |
tuned: more direct use of Name.context operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:40:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:27:15 +0100 |
wenzelm |
misc tuning and clarification: more direct use of Name.context operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 13:31:43 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 30 Nov 2024 12:30:18 +0100 |
wenzelm |
tuned: more direct use of Name.context operations;
|
changeset |
files
|
| Fri, 29 Nov 2024 17:40:15 +0100 |
wenzelm |
clarified signature: shorten common cases;
|
changeset |
files
|
| Fri, 29 Nov 2024 11:26:17 +0100 |
wenzelm |
tuned: more standard Name.build_context, although that is a bit longer;
|
changeset |
files
|
| Fri, 29 Nov 2024 00:25:03 +0100 |
wenzelm |
clarified signature: more uniform;
|
changeset |
files
|
| Thu, 28 Nov 2024 19:35:30 +0100 |
wenzelm |
omit redundant combinators (amending 7456a64bc4f6);
|
changeset |
files
|
| Thu, 28 Nov 2024 14:12:13 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 29 Nov 2024 10:35:47 +0100 |
blanchet |
fixed bugs found by Stepan Holub
|
changeset |
files
|
| Wed, 27 Nov 2024 16:52:04 +0100 |
nipkow |
merged
|
changeset |
files
|
| Wed, 27 Nov 2024 16:51:50 +0100 |
nipkow |
added lemmas
|
changeset |
files
|
| Fri, 22 Nov 2024 20:21:36 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 21 Nov 2024 23:07:06 +0100 |
wenzelm |
more ambitious Search_Result.gui_text, using Swing HTML3 (NB: TreeCellRenderer cannot do this, because it is not updated for each entry);
|
changeset |
files
|
| Thu, 21 Nov 2024 12:47:42 +0100 |
wenzelm |
clarified signature and object initialization;
|
changeset |
files
|
| Tue, 19 Nov 2024 22:55:09 +0100 |
wenzelm |
clarified default: avoid copies;
|
changeset |
files
|
| Tue, 19 Nov 2024 22:48:18 +0100 |
wenzelm |
suppress odd icons for documents and folders;
|
changeset |
files
|
| Tue, 19 Nov 2024 22:41:57 +0100 |
wenzelm |
support for modified tree cell renderer;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:46:22 +0100 |
wenzelm |
clarified signature: avoid implicit functionality;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:35:03 +0100 |
wenzelm |
re-use Output_Area;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:34:58 +0100 |
wenzelm |
re-use Output_Area;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:25:11 +0100 |
wenzelm |
re-use Output_Area;
|
changeset |
files
|
| Tue, 19 Nov 2024 10:52:02 +0100 |
wenzelm |
re-use Output_Area with search results;
|
changeset |
files
|
| Tue, 19 Nov 2024 10:40:19 +0100 |
wenzelm |
re-use Output_Area with search results;
|
changeset |
files
|