| Mon, 29 Aug 2022 16:49:42 +0200 |
wenzelm |
tuned: avoid odd stateful programming;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 17:46:58 +0200 |
wenzelm |
include groups from 'chapter_definition' in session info, based on the state of chapter_defs after processing all ROOT files (thus the declaration order does not matter);
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 16:08:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 15:44:51 +0200 |
wenzelm |
proper order;
|
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
|
| Sat, 27 Aug 2022 12:18:49 +0200 |
wenzelm |
clarified syntax: more uniform;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 12:04:49 +0200 |
wenzelm |
more robust, more strict;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 12:01:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 11:58:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 21:34:09 +0200 |
wenzelm |
more robust: proper system_name;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 21:28:26 +0200 |
wenzelm |
support 'chapter_definition' with description for presentation purposes;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 12:44:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 11:46:53 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 11:41:59 +0200 |
wenzelm |
more robust: ensure that chapter/session/theory do not contain special notation (like "/" or "..");
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 15:30:21 +0200 |
wenzelm |
maintain "uuid" column in session build database, to identity the original build process uniquely;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 14:03:40 +0200 |
wenzelm |
more thorough check, without path name artifacts (e.g. "./README");
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:45:47 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:35:17 +0200 |
wenzelm |
clarified signature: Sessions.Base_Info follows Sessions.Base;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:28:31 +0200 |
wenzelm |
clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check);
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 00:24:04 +0200 |
wenzelm |
evade clash with index.html (allow "Index.thy" even on case-insensitive file-systems);
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 23:58:44 +0200 |
wenzelm |
discontinued special support for README.html (which was hardly ever used in the past 2 decades);
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 14:59:24 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 16:03:36 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 15:18:17 +0200 |
wenzelm |
clarified signature: avoid constants from Sessions.Structure within Session.Base;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 14:42:20 +0200 |
wenzelm |
clarified signature: avoid object-oriented HTML_Context;
|
file |
diff |
annotate
|
| Sun, 07 Aug 2022 13:44:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 07 Aug 2022 12:22:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 19:31:58 +0200 |
wenzelm |
clarified signature: prefer Export.Session_Context over Sessions.Database_Context;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 16:54:01 +0200 |
wenzelm |
clarified signature: prefer Export.Session_Context;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 14:31:46 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 14:06:29 +0200 |
wenzelm |
clarified signature: more robust treatment of server;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 22:49:25 +0200 |
wenzelm |
discontinued Export.Provider in favour of Export.Context and its derivatives;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 21:29:25 +0200 |
wenzelm |
clarified signature: less redundant -- Sessions.Base_Info already specifies the main session;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 18:45:49 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 14:44:47 +0200 |
wenzelm |
clarified signature: more robust close operation;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 13:23:52 +0200 |
wenzelm |
more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty (required for Build_Job.print_log);
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 22:15:50 +0200 |
wenzelm |
clarified context for retrieval: more explicit types, with optional close() operation;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 12:00:58 +0200 |
wenzelm |
clarified signature: proper session_name for Sessions.Base (like Sessions.Info);
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 11:29:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 13:49:41 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 12:25:23 +0200 |
wenzelm |
avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2);
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 12:10:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 11:43:14 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 11:23:12 +0200 |
wenzelm |
removed somewhat pointless transaction: db is meant to be finished (or updated monotonically);
|
file |
diff |
annotate
|
| Tue, 02 Aug 2022 19:25:37 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2022 16:02:06 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 30 Jul 2022 14:13:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 27 Jul 2022 13:13:59 +0200 |
wenzelm |
clarified while-loops;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2022 16:04:15 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2022 15:42:57 +0200 |
wenzelm |
support for classpath artifacts within session structure:
|
file |
diff |
annotate
|
| Mon, 11 Jul 2022 13:36:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2022 13:21:22 +0200 |
wenzelm |
tuned signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 10 Jun 2022 21:05:31 +0200 |
wenzelm |
sync session images, based on accidental local state;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2022 23:46:14 +0200 |
wenzelm |
clarified signature: avoid ambiguity in scala3;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2022 23:33:14 +0200 |
wenzelm |
clarified signature: avoid ambiguity in scala3;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 31 Mar 2022 22:40:34 +0200 |
wenzelm |
tuned: eliminted do-while for the sake of scala3;
|
file |
diff |
annotate
|
| Wed, 23 Mar 2022 12:15:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|