| Thu, 06 Jun 2024 21:48:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:53:10 +0200 |
wenzelm |
clarified modules and options (from store);
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:27:40 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 12:08:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 23:26:30 +0100 |
wenzelm |
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers;
|
file |
diff |
annotate
|
| Sat, 24 Feb 2024 11:27:04 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 13:00:58 +0100 |
wenzelm |
proper store.cache.compress;
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 12:57:42 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 12:53:07 +0100 |
wenzelm |
clarified store_session: heap requires process_result.ok, but log_db is always stored;
|
file |
diff |
annotate
|
| Wed, 21 Feb 2024 19:36:53 +0100 |
wenzelm |
build local log_db, with store/restore via optional database server;
|
file |
diff |
annotate
|
| Mon, 19 Feb 2024 11:47:51 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 15:07:41 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|