| Sat, 18 Oct 2025 18:25:16 +0200 |
wenzelm |
clarified signature: explicit exit_state;
|
changeset |
files
|
| Sat, 18 Oct 2025 17:29:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 18 Oct 2025 16:34:02 +0200 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Sat, 18 Oct 2025 15:35:10 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 18 Oct 2025 15:33:29 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Oct 2025 21:58:33 +0200 |
wenzelm |
more robust reset of console text styles, notably for Windows/Cygwin;
|
changeset |
files
|
| Fri, 17 Oct 2025 21:34:24 +0200 |
wenzelm |
more detailed build progress for Isabelle/jEdit, based on scala.swing.TextPane that allows style attributes;
|
changeset |
files
|
| Fri, 17 Oct 2025 17:04:49 +0200 |
wenzelm |
more robust treatment of parallel sessions;
|
changeset |
files
|
| Fri, 17 Oct 2025 16:54:47 +0200 |
wenzelm |
clarified name;
|
changeset |
files
|
| Fri, 17 Oct 2025 16:36:19 +0200 |
wenzelm |
proper support for output_theory, notably for isabelle.jedit.Session_Build.progress;
|
changeset |
files
|
| Fri, 17 Oct 2025 15:56:10 +0200 |
wenzelm |
more thorough update of nodes_status, while commands are running silently;
|
changeset |
files
|
| Fri, 17 Oct 2025 15:30:38 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 17 Oct 2025 15:28:55 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 17 Oct 2025 15:19:01 +0200 |
wenzelm |
clarified status_theories: show only running or updated theories;
|
changeset |
files
|
| Fri, 17 Oct 2025 15:13:45 +0200 |
wenzelm |
clarified command_timing protocol: support for still running commands, with timing approximated in Isabelle/Scala;
|
changeset |
files
|
| Fri, 17 Oct 2025 11:03:16 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Thu, 16 Oct 2025 21:38:26 +0200 |
wenzelm |
recover filter from 9fe2fedc9842;
|
changeset |
files
|
| Thu, 16 Oct 2025 14:31:35 +0200 |
wenzelm |
clarified markup: re-use protocol function name;
|
changeset |
files
|
| Thu, 16 Oct 2025 12:31:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 16 Oct 2025 12:30:24 +0200 |
wenzelm |
suppress command_timing for forked presentation, to avoid duplicates in Document_Status.Command_Timing leading to wrong percentage;
|
changeset |
files
|
| Thu, 16 Oct 2025 12:25:58 +0200 |
wenzelm |
suppress command_timing for ignored command spans: reduce size of Document_Status.Command_Timings by factor 2;
|
changeset |
files
|
| Thu, 16 Oct 2025 11:45:29 +0200 |
wenzelm |
clarified console output;
|
changeset |
files
|
| Wed, 15 Oct 2025 22:57:19 +0200 |
wenzelm |
clarified command_timing: expose elapsed time only, other fields were never used;
|
changeset |
files
|
| Wed, 15 Oct 2025 22:30:07 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 15 Oct 2025 21:53:16 +0200 |
wenzelm |
unused (see also 9fe2fedc9842);
|
changeset |
files
|
| Wed, 15 Oct 2025 16:31:05 +0200 |
wenzelm |
proper status_output for output via Progress.Status mixin;
|
changeset |
files
|
| Wed, 15 Oct 2025 15:52:29 +0200 |
wenzelm |
support explicit message status, e.g. for specific output;
|
changeset |
files
|
| Wed, 15 Oct 2025 15:29:37 +0200 |
wenzelm |
clarified signature: more direct function;
|
changeset |
files
|
| Wed, 15 Oct 2025 11:26:01 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Wed, 15 Oct 2025 11:17:49 +0200 |
wenzelm |
verbose output of completed theories;
|
changeset |
files
|
| Wed, 15 Oct 2025 11:14:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 15 Oct 2025 11:11:33 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 18 Oct 2025 18:43:09 +0200 |
haftmann |
more lemmas and instances
|
changeset |
files
|
| Sun, 19 Oct 2025 11:36:36 +0900 |
nipkow |
added lemma
|
changeset |
files
|
| Sat, 18 Oct 2025 20:13:29 +0100 |
paulson |
Lemmas provided by Manuel Eberl
|
changeset |
files
|
| Sat, 18 Oct 2025 13:14:55 +0100 |
paulson |
An existential example of real_asymp
|
changeset |
files
|
| Fri, 17 Oct 2025 15:42:50 +0100 |
paulson |
A number of useful limits based on suggestions by Yosuke Ito
|
changeset |
files
|
| Thu, 16 Oct 2025 11:03:48 +0200 |
haftmann |
code setup for ranges on word type
|
changeset |
files
|
| Mon, 13 Oct 2025 23:01:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 13 Oct 2025 22:06:16 +0200 |
wenzelm |
verbose output of completed theories;
|
changeset |
files
|
| Mon, 13 Oct 2025 22:01:22 +0200 |
wenzelm |
clarified Progress.Status: more general types;
|
changeset |
files
|
| Mon, 13 Oct 2025 21:50:15 +0200 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Mon, 13 Oct 2025 21:47:39 +0200 |
wenzelm |
clarified Progress.output and related operations: prefer bulk messages of general type Progress.Msg;
|
changeset |
files
|
| Mon, 13 Oct 2025 14:44:46 +0200 |
wenzelm |
clarified Database_Progress.nodes_status: verbose output of completed theories (with timing), but no "detailed" output;
|
changeset |
files
|
| Mon, 13 Oct 2025 14:24:27 +0200 |
wenzelm |
clarified signature: more robust and uniform out.flush (following b11587195c70);
|
changeset |
files
|
| Sun, 12 Oct 2025 15:11:29 +0200 |
wenzelm |
more detailed Console_Progress via Progress.Status;
|
changeset |
files
|
| Sat, 11 Oct 2025 16:19:16 +0200 |
wenzelm |
clarified signature: more explicit operations;
|
changeset |
files
|
| Fri, 10 Oct 2025 01:22:03 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 10 Oct 2025 01:21:18 +0200 |
wenzelm |
less wasteful Java heap (see also 10458e80b4a9, 3deead057a16, 06a05e098347);
|
changeset |
files
|
| Thu, 09 Oct 2025 20:32:43 +0200 |
wenzelm |
more scalable process_output via external file;
|
changeset |
files
|
| Wed, 08 Oct 2025 11:19:50 +0200 |
wenzelm |
minor performance tuning: properties from Prover.Protocol_Output are not automatically cached (because they are usually non-persistent);
|
changeset |
files
|
| Wed, 08 Oct 2025 11:03:18 +0200 |
wenzelm |
more robust: proper session.synchronized;
|
changeset |
files
|
| Wed, 08 Oct 2025 10:49:18 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Wed, 08 Oct 2025 10:07:38 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Tue, 07 Oct 2025 22:05:35 +0000 |
desharna |
merged
|
changeset |
files
|
| Tue, 07 Oct 2025 19:03:57 +0000 |
desharna |
generate t.set_finite for bnf that always have finite sets (Author: Jan van Brügge)
|
changeset |
files
|
| Tue, 07 Oct 2025 20:25:22 +0200 |
wenzelm |
less ambitious default options;
|
changeset |
files
|
| Tue, 07 Oct 2025 13:26:02 +0200 |
wenzelm |
update for release;
|
changeset |
files
|
| Tue, 07 Oct 2025 13:20:56 +0200 |
wenzelm |
revert 3deead057a16 for the sake of isabelle-dev;
|
changeset |
files
|
| Tue, 07 Oct 2025 11:54:49 +0200 |
wenzelm |
Added tag Isabelle2025-1-RC0 for changeset 3deead057a16
|
changeset |
files
|