| Sun, 03 Nov 2024 14:11:01 +0100 |
wenzelm |
tuned GUI;
|
changeset |
files
|
| Sat, 02 Nov 2024 20:27:41 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 02 Nov 2024 20:24:53 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 02 Nov 2024 20:14:44 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 02 Nov 2024 16:22:06 +0100 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Sat, 02 Nov 2024 16:11:02 +0100 |
wenzelm |
tuned: remove redundant checks;
|
changeset |
files
|
| Sat, 02 Nov 2024 16:08:26 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 02 Nov 2024 16:03:26 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sat, 02 Nov 2024 15:59:58 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 02 Nov 2024 15:42:37 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 02 Nov 2024 15:35:43 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 02 Nov 2024 15:28:17 +0100 |
wenzelm |
tuned: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
| Sat, 02 Nov 2024 15:22:50 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 02 Nov 2024 14:58:50 +0100 |
wenzelm |
clarified modules: more re-usable;
|
changeset |
files
|
| Sat, 02 Nov 2024 14:56:13 +0100 |
wenzelm |
proper protocol messages (amending 7a1f9e571046);
|
changeset |
files
|
| Fri, 01 Nov 2024 19:20:52 +0100 |
wenzelm |
clarified treatment of caret_range: better support for multiple (unrelated) selections;
|
changeset |
files
|
| Fri, 01 Nov 2024 19:11:40 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Fri, 01 Nov 2024 18:55:47 +0100 |
wenzelm |
support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret;
|
changeset |
files
|
| Fri, 01 Nov 2024 18:17:03 +0100 |
wenzelm |
clarified rendering: entity acts as atomic notation / expression;
|
changeset |
files
|
| Fri, 01 Nov 2024 18:12:40 +0100 |
wenzelm |
more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements;
|
changeset |
files
|
| Fri, 01 Nov 2024 17:13:42 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Fri, 01 Nov 2024 16:57:33 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 01 Nov 2024 16:53:10 +0100 |
wenzelm |
support Isabelle/jEdit action isabelle.select_structure;
|
changeset |
files
|
| Fri, 01 Nov 2024 15:40:31 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Tue, 29 Oct 2024 21:51:21 +0100 |
wenzelm |
clarified text;
|
changeset |
files
|
| Tue, 29 Oct 2024 12:30:15 +0100 |
wenzelm |
update to jedit5.7.0;
|
changeset |
files
|
| Mon, 28 Oct 2024 09:43:28 +0100 |
wenzelm |
GUI option "editor_auto_hovering" for Output panel;
|
changeset |
files
|
| Mon, 28 Oct 2024 09:40:28 +0100 |
wenzelm |
update to scala-3.3.4 LTS;
|
changeset |
files
|
| Mon, 28 Oct 2024 08:48:31 +0100 |
wenzelm |
removed obsolete markup for "open_block" (see also d5ad89fda714): Isabelle/Scala directly supports XML.Elem pretty-printing;
|
changeset |
files
|
| Fri, 01 Nov 2024 14:10:52 +0000 |
paulson |
Library material from Eberl's Parallel_Shear_Sort
|
changeset |
files
|
| Fri, 01 Nov 2024 12:15:53 +0000 |
paulson |
Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult
|
changeset |
files
|
| Thu, 31 Oct 2024 18:43:32 +0100 |
Manuel Eberl |
use automatically generated time function in HOL-Data_Structures.Selection
|
changeset |
files
|
| Thu, 31 Oct 2024 15:46:53 +0100 |
nipkow |
merged
|
changeset |
files
|
| Thu, 31 Oct 2024 15:46:33 +0100 |
nipkow |
better time_functions (let)
|
changeset |
files
|
| Thu, 31 Oct 2024 14:58:53 +0100 |
Fabian Huch |
less hidden configuration;
|
changeset |
files
|
| Thu, 31 Oct 2024 14:56:59 +0100 |
Fabian Huch |
proper passwordless smtp check: must be null;
|
changeset |
files
|
| Thu, 31 Oct 2024 09:24:10 +0100 |
blanchet |
adjusted documentation
|
changeset |
files
|
| Tue, 29 Oct 2024 10:26:06 +0100 |
nipkow |
more attribute tuning
|
changeset |
files
|
| Tue, 29 Oct 2024 07:41:52 +0100 |
nipkow |
tuned attributes
|
changeset |
files
|
| Mon, 28 Oct 2024 18:48:28 +0100 |
nipkow |
merged
|
changeset |
files
|
| Mon, 28 Oct 2024 18:48:14 +0100 |
nipkow |
added lemmas
|
changeset |
files
|
| Sun, 27 Oct 2024 22:35:02 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sun, 27 Oct 2024 20:11:08 +0100 |
wenzelm |
tuned NEWS;
|
changeset |
files
|
| Sun, 27 Oct 2024 19:57:29 +0100 |
wenzelm |
markup for "..." notation;
|
changeset |
files
|
| Sun, 27 Oct 2024 15:30:00 +0100 |
wenzelm |
more robust: avoid non-authentic translations;
|
changeset |
files
|
| Sun, 27 Oct 2024 12:54:58 +0100 |
wenzelm |
tuned whitespace of sources;
|
changeset |
files
|
| Sun, 27 Oct 2024 12:47:27 +0100 |
wenzelm |
update documentation;
|
changeset |
files
|
| Sun, 27 Oct 2024 12:32:40 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 27 Oct 2024 12:23:48 +0100 |
wenzelm |
update documentation: print mode "latex" only affects syntax tables, but output of symbols;
|
changeset |
files
|
| Sun, 27 Oct 2024 12:13:34 +0100 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Sun, 27 Oct 2024 11:48:32 +0100 |
wenzelm |
clarified section structure;
|
changeset |
files
|
| Sun, 27 Oct 2024 11:46:04 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 27 Oct 2024 11:34:51 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 27 Oct 2024 11:31:42 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 27 Oct 2024 11:22:34 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 27 Oct 2024 11:13:42 +0100 |
wenzelm |
clarified symbolic output: avoid redundant "block" element for open_block = true;
|
changeset |
files
|
| Sun, 27 Oct 2024 11:02:21 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 26 Oct 2024 20:18:51 +0200 |
wenzelm |
clarified (again): Markup.intensify is already part of Variable.markup_fixed for undeclared variable, Markup.fixed is already part of Mariable.markup;
|
changeset |
files
|
| Sat, 26 Oct 2024 16:07:31 +0200 |
wenzelm |
more accurate Symbol.length;
|
changeset |
files
|
| Sat, 26 Oct 2024 16:07:03 +0200 |
wenzelm |
tuned;
|
changeset |
files
|