| Sun, 09 Jul 2023 17:41:02 +0200 |
wenzelm |
clarified modules (amending 570f65953173);
|
file |
diff |
annotate
|
| Fri, 17 Mar 2023 12:10:14 +0100 |
wenzelm |
proper "build_thorough" for "isabelle update" (amending 9e5f8f6e58a0);
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 13:43:25 +0100 |
wenzelm |
clarified signature: more explicit types;
|
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
|
| Sun, 05 Mar 2023 16:36:18 +0100 |
wenzelm |
clarified signature: manage "verbose" flag via "progress";
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 14:58:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 21 Feb 2023 10:43:30 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 11:46:21 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 18 Jan 2023 16:27:44 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 16:28:03 +0100 |
wenzelm |
clarified treatment of cite macro name;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 12:55:23 +0100 |
wenzelm |
more robust: rely on PIDE markup instead of regex guess;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 12:07:08 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 12:04:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 11:59:45 +0100 |
wenzelm |
clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 22:37:15 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 22:24:01 +0100 |
wenzelm |
proper language context;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 21:01:26 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 20:42:48 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 20:15:09 +0100 |
wenzelm |
basic support for update_cite_commands;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 19:36:02 +0100 |
wenzelm |
proper session_options (amending da13da82f6f9);
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 19:29:14 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 17:52:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 19:16:24 +0100 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 19:07:18 +0100 |
wenzelm |
more explicit language context;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 17:14:59 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 14:37:55 +0100 |
wenzelm |
restrict to proper_session_theories;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 13:09:08 +0100 |
wenzelm |
proper build parameters (amending d858e6f15da3);
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 13:06:03 +0100 |
wenzelm |
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 12:05:32 +0100 |
wenzelm |
more command-line options;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 22:30:20 +0100 |
wenzelm |
tuned options --- avoid confusion with "isabelle build -b";
|
file |
diff |
annotate
|