| Thu, 26 Jun 2025 17:30:33 +0200 |
nipkow |
merged
|
changeset |
files
|
| Thu, 26 Jun 2025 17:30:16 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Thu, 26 Jun 2025 17:16:14 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
changeset |
files
|
| Thu, 26 Jun 2025 17:14:01 +0200 |
wenzelm |
proper build_context.store, instead of circular null value (amending 0e36478a1b6a and e891ff63e6db);
|
changeset |
files
|
| Wed, 25 Jun 2025 16:35:25 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 25 Jun 2025 13:32:28 +0200 |
wenzelm |
more operations (e.g. for testing);
|
changeset |
files
|
| Wed, 25 Jun 2025 13:29:06 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 25 Jun 2025 13:16:07 +0200 |
wenzelm |
tuned signature: more explicit operations;
|
changeset |
files
|
| Wed, 25 Jun 2025 12:51:35 +0200 |
wenzelm |
more accurate ML_Settings from underlying Session;
|
changeset |
files
|
| Wed, 25 Jun 2025 12:43:37 +0200 |
wenzelm |
more accurate ML_Settings from underlying Session;
|
changeset |
files
|
| Wed, 25 Jun 2025 12:37:43 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 25 Jun 2025 12:29:04 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 25 Jun 2025 12:25:02 +0200 |
wenzelm |
more robust session startup, notably Isabelle/jEdit with session build (amending 0e36478a1b6a);
|
changeset |
files
|
| Wed, 25 Jun 2025 12:08:12 +0200 |
wenzelm |
clarified signature: more accurate ML_Settings;
|
changeset |
files
|
| Wed, 25 Jun 2025 11:51:13 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Wed, 25 Jun 2025 11:46:08 +0200 |
wenzelm |
clarified signature: avoid duplicate ML_Settings.system;
|
changeset |
files
|
| Tue, 24 Jun 2025 22:30:49 +0200 |
wenzelm |
clarified signature: general Session.open_session_context;
|
changeset |
files
|
| Tue, 24 Jun 2025 22:21:49 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 24 Jun 2025 22:17:35 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 24 Jun 2025 22:11:04 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 24 Jun 2025 22:08:20 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 24 Jun 2025 21:58:20 +0200 |
wenzelm |
more uniform options for session build/start (coincides with PIDE.options.value initially);
|
changeset |
files
|
| Tue, 24 Jun 2025 21:49:43 +0200 |
wenzelm |
clarified signature: Session always provides Store (with Rich_Text.Cache);
|
changeset |
files
|
| Tue, 24 Jun 2025 21:32:51 +0200 |
wenzelm |
clarified signature: prefer implicit PIDE.options, which correspond to PIDE.session;
|
changeset |
files
|
| Tue, 24 Jun 2025 21:13:12 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 24 Jun 2025 21:05:48 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 24 Jun 2025 21:00:45 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Tue, 24 Jun 2025 20:57:27 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 24 Jun 2025 20:52:09 +0200 |
wenzelm |
clarified signature: more explicit subtypes of Session, with corresponding subtypes of Resources;
|
changeset |
files
|
| Mon, 23 Jun 2025 14:44:59 +0200 |
wenzelm |
re-use cache from Main_Plugin.start;
|
changeset |
files
|
| Mon, 23 Jun 2025 14:42:40 +0200 |
wenzelm |
clarified signature, following c3793899b880;
|
changeset |
files
|
| Mon, 23 Jun 2025 14:10:59 +0200 |
wenzelm |
more robust: assertion holds, because session.finished_theories provides Snapshot from Document.State.end_theory;
|
changeset |
files
|
| Mon, 23 Jun 2025 13:55:09 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 23 Jun 2025 13:41:56 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 23 Jun 2025 13:41:18 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Mon, 23 Jun 2025 12:42:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 25 Jun 2025 16:16:26 +0200 |
nipkow |
added lemmas
|
changeset |
files
|
| Wed, 25 Jun 2025 14:16:30 +0200 |
nipkow |
added lemmas
|
changeset |
files
|
| Thu, 19 Jun 2025 17:15:40 +0200 |
haftmann |
treat map_filter similar to list_all, list_ex, list_ex1
|
changeset |
files
|
| Tue, 17 Jun 2025 14:11:40 +0200 |
nipkow |
reinstated intersection of lists as inter_list_set
|
changeset |
files
|
| Tue, 17 Jun 2025 06:29:55 +0200 |
nipkow |
merged
|
changeset |
files
|
| Tue, 17 Jun 2025 06:28:24 +0200 |
nipkow |
defined mset in terms of its list-versin count_list instead of the ugly length of filter.
|
changeset |
files
|
| Mon, 16 Jun 2025 15:25:38 +0200 |
haftmann |
more explicit theorem names for list quantifiers
|
changeset |
files
|
| Mon, 16 Jun 2025 12:19:23 +0200 |
wenzelm |
support for explicit ML platform identifier;
|
changeset |
files
|
| Mon, 16 Jun 2025 12:18:26 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Mon, 16 Jun 2025 11:40:35 +0200 |
wenzelm |
proper SSH operation (amending 956ecf2c07a0);
|
changeset |
files
|
| Mon, 16 Jun 2025 11:38:14 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Mon, 16 Jun 2025 11:35:54 +0200 |
wenzelm |
tuned errors;
|
changeset |
files
|
| Mon, 16 Jun 2025 11:00:04 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 15 Jun 2025 23:09:43 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sun, 15 Jun 2025 23:03:12 +0200 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Sun, 15 Jun 2025 22:55:30 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 15 Jun 2025 22:46:45 +0200 |
wenzelm |
more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings;
|
changeset |
files
|
| Sun, 15 Jun 2025 22:14:38 +0200 |
wenzelm |
support dynamic usage_text, after some options have been processed already;
|
changeset |
files
|
| Sun, 15 Jun 2025 15:19:03 +0200 |
wenzelm |
clarified signature: more modular, avoid adhoc mixins;
|
changeset |
files
|
| Sun, 15 Jun 2025 13:40:03 +0200 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Sun, 15 Jun 2025 13:13:37 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 14 Jun 2025 22:35:48 +0200 |
wenzelm |
proper support for old versions before 0e41f26a0250;
|
changeset |
files
|
| Sat, 14 Jun 2025 22:20:57 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 14 Jun 2025 22:19:58 +0200 |
wenzelm |
proper Java command-line for desktop application (amending a3e7732b0393);
|
changeset |
files
|