| Sat, 25 May 2024 20:10:17 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| Sat, 25 May 2024 20:08:01 +0200 |
wenzelm |
support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");
|
file |
diff |
annotate
|
| Sat, 25 May 2024 17:22:05 +0200 |
wenzelm |
more general dirs for Sync.sync;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 16:35:55 +0100 |
Fabian Huch |
option for benchmark session;
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 17:24:43 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 Feb 2024 11:43:30 +0100 |
wenzelm |
propagate property "isabelle.debug", notably for Java/Scala exception trace;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 20:54:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 20:20:24 +0100 |
wenzelm |
more robust: check subclasses as well;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 20:18:21 +0100 |
wenzelm |
support for alternative user home, e.g. to avoid slow NFS shares;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 15:17:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 11:12:42 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 10:51:49 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 12:48:25 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 12:42:00 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2024 17:30:49 +0100 |
Fabian Huch |
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 15:07:41 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|