| Sat, 07 Dec 2024 23:08:51 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sat, 07 Dec 2024 21:49:05 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 07 Dec 2024 21:42:59 +0100 |
wenzelm |
clarified signature: more explicit operations;
|
changeset |
files
|
| Sat, 07 Dec 2024 16:07:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 07 Dec 2024 16:03:05 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 07 Dec 2024 15:00:43 +0100 |
wenzelm |
clarified signature and caching;
|
changeset |
files
|
| Sat, 07 Dec 2024 11:59:51 +0100 |
wenzelm |
clarified GUI: prefer user documents, which are typically without chapter;
|
changeset |
files
|
| Sat, 07 Dec 2024 11:13:02 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 06 Dec 2024 23:07:09 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Fri, 06 Dec 2024 22:40:43 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 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
|