| Sat, 10 Sep 2022 15:18:17 +0200 |
wenzelm |
more operations: for testing purposes;
|
changeset |
files
|
| Sat, 10 Sep 2022 14:25:53 +0200 |
wenzelm |
provide naproche-20220910 (inactive);
|
changeset |
files
|
| Fri, 09 Sep 2022 21:15:11 +0200 |
wenzelm |
clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
|
changeset |
files
|
| Fri, 09 Sep 2022 20:48:18 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Fri, 09 Sep 2022 20:20:06 +0200 |
wenzelm |
update for release;
|
changeset |
files
|
| Fri, 09 Sep 2022 16:44:43 +0200 |
wenzelm |
tuned: prefer Scala Regex operations;
|
changeset |
files
|
| Fri, 09 Sep 2022 14:47:42 +0200 |
wenzelm |
tuning and updates for release;
|
changeset |
files
|
| Fri, 09 Sep 2022 14:09:06 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Fri, 09 Sep 2022 14:03:29 +0200 |
wenzelm |
discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);
|
changeset |
files
|
| Thu, 08 Sep 2022 22:59:21 +0200 |
wenzelm |
give up show_main_goal (despite 922e3f9251ac): show_goal_inst is sufficient, even for final results;
|
changeset |
files
|
| Thu, 08 Sep 2022 22:35:50 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 08 Sep 2022 22:19:42 +0200 |
wenzelm |
discontinue fragile operations;
|
changeset |
files
|
| Thu, 08 Sep 2022 22:06:06 +0200 |
wenzelm |
proper context option: change of underlying Options.default will not survive PIDE "Prover.options" (e.g. change of Isabelle/jEdit plugin options);
|
changeset |
files
|
| Thu, 08 Sep 2022 20:46:22 +0200 |
wenzelm |
enable show_goal_inst by default: match failure is merely a warning (see 730638d4e37a);
|
changeset |
files
|
| Thu, 08 Sep 2022 19:32:26 +0200 |
wenzelm |
updated documentation;
|
changeset |
files
|
| Thu, 08 Sep 2022 17:42:48 +0200 |
wenzelm |
support multiple sessions, with cumulative errors;
|
changeset |
files
|
| Thu, 08 Sep 2022 16:59:49 +0200 |
wenzelm |
support regex patterns on messages;
|
changeset |
files
|
| Thu, 08 Sep 2022 16:22:44 +0200 |
wenzelm |
support Pretty.unformatted, similar to ML version;
|
changeset |
files
|
| Thu, 08 Sep 2022 13:16:46 +0200 |
wenzelm |
removed odd TODO item (see 3391a493f39a);
|
changeset |
files
|
| Thu, 08 Sep 2022 13:13:40 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 08 Sep 2022 13:03:10 +0200 |
wenzelm |
tuned output: more Pretty.item;
|
changeset |
files
|
| Thu, 08 Sep 2022 12:52:41 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 08 Sep 2022 12:43:40 +0200 |
wenzelm |
clarified failure: warning for logical error, exception for program breakdown;
|
changeset |
files
|
| Wed, 07 Sep 2022 21:15:45 +0200 |
wenzelm |
print goal instantiation for global qed (and variations);
|
changeset |
files
|