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