| Wed, 12 Feb 2025 00:40:57 +0100 |
wenzelm |
removed unused imports;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 16:33:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 16:08:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 15:23:58 +0200 |
wenzelm |
clarified signature of Sessions.Session: chapter_defs: vs. known_chapters (in declaration order) vs. chapters (covered by visible sessions);
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 14:42:20 +0200 |
wenzelm |
clarified signature: avoid object-oriented HTML_Context;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 13:16:02 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 09 May 2019 14:50:56 +0200 |
wenzelm |
proper session chapter;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 22:46:49 +0100 |
wenzelm |
more robust: avoid crash of browser right-click menu;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 22:39:58 +0100 |
wenzelm |
more accurate file position;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 21:18:21 +0100 |
wenzelm |
open session ROOT file;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:44:29 +0100 |
wenzelm |
support for session information via virtual file-system;
|
file |
diff |
annotate
|