| Tue, 12 Aug 2025 11:19:08 +0200 |
wenzelm |
obsolete (see 5d562dd387ae);
|
file |
diff |
annotate
|
| Sun, 10 Aug 2025 22:11:50 +0200 |
wenzelm |
tuned signature: more explicit operations;
|
file |
diff |
annotate
|
| Sun, 10 Aug 2025 18:00:35 +0200 |
wenzelm |
tuned signature: more explicit operations;
|
file |
diff |
annotate
|
| Sun, 10 Aug 2025 15:17:13 +0200 |
wenzelm |
Process theories within an adhoc session context.
|
file |
diff |
annotate
|
| Sun, 10 Aug 2025 12:27:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 08 Aug 2025 21:28:22 +0200 |
wenzelm |
clarified signature: more detailed result;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2025 22:24:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2025 22:22:11 +0200 |
wenzelm |
more robust (again), for the sake of Windows;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2025 21:44:54 +0200 |
wenzelm |
more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs;
|
file |
diff |
annotate
|
| Tue, 29 Jul 2025 22:42:35 +0200 |
wenzelm |
clarified signature: builtin filter;
|
file |
diff |
annotate
|
| Tue, 29 Jul 2025 19:59:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 27 Jul 2025 13:49:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 30 Jun 2025 13:10:44 +0200 |
wenzelm |
obsolete (see 09904d5ef1f0);
|
file |
diff |
annotate
|
| Mon, 30 Jun 2025 11:28:04 +0200 |
wenzelm |
more robust result of migrate_file: retain full src_path (in contrast to d5d0e36eda16);
|
file |
diff |
annotate
|
| Sun, 29 Jun 2025 14:17:49 +0200 |
wenzelm |
basic support to reload theory markup from session store;
|
file |
diff |
annotate
|