| Sun, 06 Apr 2025 14:20:41 +0200 |
haftmann |
reflect nested lists in variables names
|
changeset |
files
|
| Sat, 05 Apr 2025 23:51:52 +0200 |
nipkow |
Simplified lemma (as suggetsed by Stepan Holub)
|
changeset |
files
|
| Sat, 05 Apr 2025 08:49:53 +0200 |
haftmann |
incorporate target-language integer implementation of bit shifts into Main
|
changeset |
files
|
| Fri, 04 Apr 2025 23:12:20 +0200 |
haftmann |
represent constants with explicit typargs to avoid false positives for equality approximations like ‹card UNIV === card UNIV›
|
changeset |
files
|
| Fri, 04 Apr 2025 23:12:19 +0200 |
haftmann |
restored type reconstruction for nbe: remaining type variables must remain schematic for checking
|
changeset |
files
|
| Fri, 04 Apr 2025 23:12:18 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 04 Apr 2025 22:20:30 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 04 Apr 2025 22:20:23 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Fri, 04 Apr 2025 22:12:21 +0200 |
wenzelm |
more documentation;
|
changeset |
files
|
| Fri, 04 Apr 2025 22:11:29 +0200 |
wenzelm |
update jedit component;
|
changeset |
files
|
| Fri, 04 Apr 2025 21:48:51 +0200 |
wenzelm |
more navigator positions;
|
changeset |
files
|
| Fri, 04 Apr 2025 20:34:13 +0200 |
wenzelm |
clarified navigator events: avoid excessive 0 positions;
|
changeset |
files
|
| Fri, 04 Apr 2025 20:31:57 +0200 |
wenzelm |
more robust: make double-sure that get_text does not crash (see on non-existent file);
|
changeset |
files
|
| Fri, 04 Apr 2025 19:52:52 +0200 |
wenzelm |
more uniform treatment of open buffer vs. loaded file (NB: setCaretPosition includes selectionNone);
|
changeset |
files
|
| Fri, 04 Apr 2025 17:31:05 +0200 |
wenzelm |
proper hyperlink column (amending 6898054035d6);
|
changeset |
files
|
| Fri, 04 Apr 2025 16:35:05 +0200 |
wenzelm |
tuned: setCaretPosition already includes selectNone;
|
changeset |
files
|
| Fri, 04 Apr 2025 15:23:11 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 04 Apr 2025 15:18:04 +0200 |
wenzelm |
clarified history: eliminate pointless var _current;
|
changeset |
files
|
| Fri, 04 Apr 2025 15:02:49 +0200 |
wenzelm |
clarified target position: line start + offset (or column);
|
changeset |
files
|
| Fri, 04 Apr 2025 14:46:38 +0200 |
wenzelm |
tuned source structure;
|
changeset |
files
|
| Fri, 04 Apr 2025 11:37:27 +0200 |
wenzelm |
eliminated patch: imitate jEdit.gotoMarker more directly;
|
changeset |
files
|
| Fri, 04 Apr 2025 11:21:01 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Apr 2025 11:00:06 +0200 |
wenzelm |
tuned signature: proper private vars;
|
changeset |
files
|
| Fri, 04 Apr 2025 10:58:39 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|