| Fri, 31 Jan 2025 16:23:53 +0100 |
wenzelm |
less NEWS (see also afae60d6ff15);
|
changeset |
files
|
| Wed, 08 Jan 2025 15:19:37 +0100 |
wenzelm |
switch from CVC5 to cvc5, including updates of internal tool references;
|
changeset |
files
|
| Thu, 30 Jan 2025 22:29:45 +0100 |
wenzelm |
more robust wrt. Par_List.map in Browser_Info.build(), see also 2fff9ce6b460 and 787a203a20b6;
|
changeset |
files
|
| Thu, 30 Jan 2025 21:44:44 +0100 |
wenzelm |
more thorough cleanup;
|
changeset |
files
|
| Thu, 30 Jan 2025 20:55:42 +0100 |
wenzelm |
more options for build_release: support bundled browser_info and Find_Facts database;
|
changeset |
files
|
| Thu, 30 Jan 2025 13:16:51 +0100 |
wenzelm |
more standard directory structure;
|
changeset |
files
|
| Thu, 30 Jan 2025 13:13:21 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Thu, 30 Jan 2025 11:53:26 +0100 |
wenzelm |
suppress MacOS.jar from jEdit 5.7.0, following 65fd0f032a75;
|
changeset |
files
|
| Wed, 29 Jan 2025 21:25:44 +0100 |
wenzelm |
tuned GUI: attempt to improve divider mobility;
|
changeset |
files
|
| Wed, 29 Jan 2025 20:52:27 +0100 |
wenzelm |
rebuild jedit component;
|
changeset |
files
|
| Wed, 29 Jan 2025 20:17:21 +0100 |
wenzelm |
make double sure that buffer.lineSeparator is well-defined: prevent a situation where $JEDIT_SETTINGS/properties would contain "buffer.lineSeparator=" and new-file would lead to a buffer with empty lineSeparator, and save would produce just one line;
|
changeset |
files
|
| Wed, 29 Jan 2025 14:43:14 +0100 |
wenzelm |
more accurate syntax: follow documentation in "isar-ref" (and command 'syntax_consts');
|
changeset |
files
|
| Wed, 29 Jan 2025 11:53:49 +0100 |
wenzelm |
more robust: make double sure that buffer.getText() is valid (see also 2e7073976c25);
|
changeset |
files
|
| Tue, 28 Jan 2025 21:42:51 +0100 |
haftmann |
clarifed terminology
|
changeset |
files
|
| Tue, 28 Jan 2025 21:42:04 +0100 |
nipkow |
extracted the ^^ subtheory for modularity reasons
|
changeset |
files
|