| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Sun, 09 Jul 2023 17:41:02 +0200 |
wenzelm |
clarified modules (amending 570f65953173);
|
file |
diff |
annotate
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 10:57:50 +0100 |
wenzelm |
clarified terminology of "session build database", while "build database" is the one underlying Build_Process;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 20:04:57 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 07 Aug 2022 13:44:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 17:16:19 +0200 |
wenzelm |
clarified signature: find session_database within Session_Context.db_hierarchy;
|
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 16:37:23 +0200 |
wenzelm |
prefer Export.Context/Session_Context/Theory_Context over Sessions.Database_Context;
|
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
|
| 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, 11 Nov 2021 21:54:28 +0100 |
wenzelm |
clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
|
file |
diff |
annotate
|
| Sat, 06 Nov 2021 10:11:25 +0100 |
wenzelm |
proper treatment of session build hierarchy;
|
file |
diff |
annotate
|