| Fri, 23 Dec 2022 22:48:29 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 23 Dec 2022 22:41:47 +0100 |
wenzelm |
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
|
changeset |
files
|
| Fri, 23 Dec 2022 22:33:14 +0100 |
wenzelm |
update URL;
|
changeset |
files
|
| Fri, 23 Dec 2022 15:42:52 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 23 Dec 2022 15:34:09 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 23 Dec 2022 15:29:29 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 23 Dec 2022 15:20:53 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 23 Dec 2022 15:07:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 23 Dec 2022 14:43:04 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 23 Dec 2022 14:32:53 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Fri, 23 Dec 2022 12:14:10 +0100 |
desharna |
merged
|
changeset |
files
|
| Thu, 22 Dec 2022 21:55:51 +0100 |
desharna |
merged
|
changeset |
files
|
| Tue, 20 Dec 2022 09:34:37 +0100 |
desharna |
used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element
|
changeset |
files
|
| Mon, 19 Dec 2022 16:20:57 +0100 |
desharna |
added lemma trans_on_lex_prod[simp]
|
changeset |
files
|
| Mon, 19 Dec 2022 16:12:17 +0100 |
desharna |
strengthened and renamed lemma trans_converse and added lemma transp_on_conversep
|
changeset |
files
|
| Mon, 19 Dec 2022 16:07:44 +0100 |
desharna |
strengthened and renamed trans_reflclI
|
changeset |
files
|
| Mon, 19 Dec 2022 16:05:57 +0100 |
desharna |
strengthened and renamed transp_reflclp
|
changeset |
files
|
| Mon, 19 Dec 2022 16:00:49 +0100 |
desharna |
strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)
|
changeset |
files
|
| Mon, 19 Dec 2022 15:54:03 +0100 |
desharna |
added lemmas trans_on_subset and transp_on_subset
|
changeset |
files
|
| Mon, 19 Dec 2022 15:52:15 +0100 |
desharna |
added lemmas trans_onD and transp_onD
|
changeset |
files
|
| Mon, 19 Dec 2022 15:41:52 +0100 |
desharna |
added lemmas trans_onI and transp_onI
|
changeset |
files
|
| Mon, 19 Dec 2022 15:36:45 +0100 |
desharna |
added lemma transp_on_trans_on_eq[pred_set_conv]
|
changeset |
files
|
| Tue, 20 Dec 2022 08:41:01 +0100 |
desharna |
fixed code-generation failure
|
changeset |
files
|
| Mon, 19 Dec 2022 15:33:13 +0100 |
desharna |
added predicates trans_on and transp_on and redefined trans and transp to be abbreviations
|
changeset |
files
|
| Thu, 22 Dec 2022 16:54:24 +0100 |
wenzelm |
only show sessions with document setup;
|
changeset |
files
|
| Thu, 22 Dec 2022 16:53:45 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 22 Dec 2022 16:34:35 +0100 |
wenzelm |
proper node name instead of not base tex_name (amending 2fd0c33fe440);
|
changeset |
files
|
| Thu, 22 Dec 2022 15:23:26 +0100 |
wenzelm |
proper migrate_name between different kinds of Resources, notably for Windows;
|
changeset |
files
|
| Thu, 22 Dec 2022 08:56:16 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 21 Dec 2022 22:35:55 +0100 |
desharna |
added lemmas irrefl_on_if_asym_on[simp] and irreflp_on_if_asymp_on[simp]
|
changeset |
files
|
| Wed, 21 Dec 2022 23:18:28 +0100 |
wenzelm |
proper PIDE session background for interactive document context;
|
changeset |
files
|
| Wed, 21 Dec 2022 22:35:21 +0100 |
wenzelm |
NEWS;
|
changeset |
files
|
| Wed, 21 Dec 2022 22:11:16 +0100 |
wenzelm |
more accurate error messages;
|
changeset |
files
|
| Wed, 21 Dec 2022 15:41:45 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 21 Dec 2022 15:34:33 +0100 |
wenzelm |
actually build document;
|
changeset |
files
|
| Wed, 21 Dec 2022 14:14:02 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 21 Dec 2022 14:00:00 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Wed, 21 Dec 2022 13:52:44 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 21 Dec 2022 13:38:41 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 21 Dec 2022 13:22:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 21 Dec 2022 13:14:34 +0100 |
wenzelm |
clarified GUI;
|
changeset |
files
|
| Wed, 21 Dec 2022 11:30:24 +0100 |
wenzelm |
more thorough GUI updates, notably for multiple Document dockables;
|
changeset |
files
|
| Wed, 21 Dec 2022 12:30:48 +0000 |
paulson |
Additional new material about infinite products, etc.
|
changeset |
files
|
| Tue, 20 Dec 2022 22:24:36 +0000 |
paulson |
merged
|
changeset |
files
|
| Tue, 20 Dec 2022 17:59:44 +0000 |
paulson |
First round of moving material from the number theory development
|
changeset |
files
|
| Tue, 20 Dec 2022 19:43:55 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 20 Dec 2022 19:43:40 +0100 |
wenzelm |
more GUI operations;
|
changeset |
files
|
| Tue, 20 Dec 2022 19:19:44 +0100 |
wenzelm |
proper handling of state updates;
|
changeset |
files
|
| Tue, 20 Dec 2022 18:43:17 +0100 |
wenzelm |
clarified process management;
|
changeset |
files
|
| Tue, 20 Dec 2022 18:33:51 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 20 Dec 2022 16:34:13 +0100 |
wenzelm |
clarified state document nodes for Theories_Status / Document_Dockable;
|
changeset |
files
|
| Tue, 20 Dec 2022 13:59:07 +0100 |
wenzelm |
clarified state of document model vs. document editor selection (again, see also a9d52d02bd83);
|
changeset |
files
|
| Mon, 19 Dec 2022 15:29:24 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 19 Dec 2022 14:39:22 +0100 |
wenzelm |
clarified module initialization;
|
changeset |
files
|
| Mon, 19 Dec 2022 14:27:26 +0100 |
wenzelm |
tuned signature, following Document_Dockable;
|
changeset |
files
|
| Mon, 19 Dec 2022 14:10:12 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 19 Dec 2022 13:40:36 +0100 |
wenzelm |
clarified GUI;
|
changeset |
files
|
| Mon, 19 Dec 2022 13:28:58 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 19 Dec 2022 13:28:46 +0100 |
wenzelm |
proper thread context;
|
changeset |
files
|
| Mon, 19 Dec 2022 13:20:09 +0100 |
wenzelm |
more informative errors, including optional Exn.trace;
|
changeset |
files
|
| Mon, 19 Dec 2022 13:06:59 +0100 |
wenzelm |
clarified state change: presumably more robust;
|
changeset |
files
|
| Mon, 19 Dec 2022 12:58:18 +0100 |
wenzelm |
proper state change, e.g. on open/close of "Document" panel;
|
changeset |
files
|
| Mon, 19 Dec 2022 12:33:52 +0100 |
wenzelm |
clarified module initialization;
|
changeset |
files
|
| Mon, 19 Dec 2022 12:22:47 +0100 |
wenzelm |
clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel);
|
changeset |
files
|
| Mon, 19 Dec 2022 11:42:45 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 19 Dec 2022 11:16:46 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 20 Dec 2022 18:20:19 +0100 |
blanchet |
added lifting_forget as suggested by Peter Lammich
|
changeset |
files
|
| Mon, 19 Dec 2022 14:09:37 +0100 |
desharna |
merged
|
changeset |
files
|
| Mon, 19 Dec 2022 12:00:56 +0100 |
desharna |
added lemma refl_lex_prod[simp]
|
changeset |
files
|
| Mon, 19 Dec 2022 12:00:15 +0100 |
desharna |
added lemmas reflI and reflD
|
changeset |
files
|
| Mon, 19 Dec 2022 11:26:56 +0100 |
desharna |
added lemmas asym_on_lex_prod[simp] and asym_lex_prod[simp]
|
changeset |
files
|
| Mon, 19 Dec 2022 11:25:37 +0100 |
desharna |
added lemmas sym_on_lex_prod[simp] and sym_lex_prod[simp]
|
changeset |
files
|
| Mon, 19 Dec 2022 11:23:28 +0100 |
desharna |
added lemmas irrefl_on_lex_prod[simp] and irrefl_lex_prod[simp]
|
changeset |
files
|
| Mon, 19 Dec 2022 08:44:18 +0100 |
desharna |
strengthened and renamed lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
|
changeset |
files
|
| Mon, 19 Dec 2022 08:37:03 +0100 |
desharna |
strengthened and renamed lemma antisym_converse and added lemma antisymp_on_conversep
|
changeset |
files
|
| Mon, 19 Dec 2022 08:34:32 +0100 |
desharna |
added lemmas asym_on_converse[simp] and asymp_on_conversep[simp]
|
changeset |
files
|
| Mon, 19 Dec 2022 08:30:44 +0100 |
desharna |
strengthened and renamed lemma sym_converse and added lemma symp_on_conversep
|
changeset |
files
|
| Mon, 19 Dec 2022 08:18:07 +0100 |
desharna |
strengthened and renamed lemmas antisymp_less and antisymp_greater
|
changeset |
files
|
| Mon, 19 Dec 2022 08:16:50 +0100 |
desharna |
strengthened lemmas antisym_on_if_asym_on and antisymp_on_if_asymp_on
|
changeset |
files
|
| Mon, 19 Dec 2022 08:14:43 +0100 |
desharna |
tuned naming
|
changeset |
files
|
| Mon, 19 Dec 2022 08:14:23 +0100 |
desharna |
added lemma asymp_on_asym_on_eq[pred_set_conv]
|
changeset |
files
|
| Mon, 19 Dec 2022 08:07:36 +0100 |
desharna |
strengthened and renamed asymp_less and asymp_greater
|
changeset |
files
|
| Mon, 19 Dec 2022 08:01:31 +0100 |
desharna |
added lemmas asym_on_subset and asymp_on_subset
|
changeset |
files
|
| Mon, 19 Dec 2022 08:05:23 +0100 |
desharna |
added lemmas asym_onI, asymp_onI, asym_onD, and asymp_onD
|
changeset |
files
|
| Sun, 18 Dec 2022 14:03:43 +0100 |
desharna |
added predicates asym_on and asymp_on and redefined asym and asymp to be abbreviations
|
changeset |
files
|
| Sun, 18 Dec 2022 18:30:37 +0100 |
wenzelm |
clarified state and process;
|
changeset |
files
|
| Sun, 18 Dec 2022 16:01:37 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 18 Dec 2022 15:50:51 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 18 Dec 2022 15:49:37 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 18 Dec 2022 14:39:35 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 18 Dec 2022 13:53:05 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 16 Dec 2022 10:34:58 +0100 |
desharna |
strengthened and renamed symp_symclp
|
changeset |
files
|
| Sat, 17 Dec 2022 21:26:36 +0100 |
nipkow |
merged
|
changeset |
files
|
| Sat, 17 Dec 2022 21:26:24 +0100 |
nipkow |
Tuned text
|
changeset |
files
|
| Sat, 17 Dec 2022 19:44:14 +0100 |
wenzelm |
clarified signature: avoid confusion due to redundant standard_path, which is already used here (but not elsewhere);
|
changeset |
files
|
| Sat, 17 Dec 2022 19:35:49 +0100 |
wenzelm |
clarified signature: avoid case class with redefined equality;
|
changeset |
files
|
| Sat, 17 Dec 2022 19:19:10 +0100 |
wenzelm |
discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754);
|
changeset |
files
|
| Sat, 17 Dec 2022 19:09:46 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 17 Dec 2022 19:06:40 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 17 Dec 2022 17:28:05 +0100 |
wenzelm |
unused;
|
changeset |
files
|
| Sat, 17 Dec 2022 17:02:09 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 17 Dec 2022 16:41:54 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 17 Dec 2022 16:40:24 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 17 Dec 2022 11:33:13 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 17 Dec 2022 11:25:19 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 17 Dec 2022 11:25:10 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Sat, 17 Dec 2022 10:18:12 +0100 |
haftmann |
prefer SML here
|
changeset |
files
|
| Sat, 17 Dec 2022 10:12:03 +0100 |
haftmann |
Typo.
|
changeset |
files
|
| Fri, 16 Dec 2022 20:14:41 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 16 Dec 2022 18:12:48 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 16 Dec 2022 17:51:52 +0100 |
wenzelm |
clarified names;
|
changeset |
files
|
| Fri, 16 Dec 2022 17:30:29 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 16 Dec 2022 17:02:10 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 16 Dec 2022 16:00:56 +0100 |
wenzelm |
tuned signature (see also 8342cba8eae8);
|
changeset |
files
|
| Fri, 16 Dec 2022 15:14:09 +0100 |
wenzelm |
tuned names: avoid overlap with instances of class Resources;
|
changeset |
files
|
| Fri, 16 Dec 2022 18:19:23 +0100 |
nipkow |
merged
|
changeset |
files
|
| Fri, 16 Dec 2022 18:18:57 +0100 |
nipkow |
file with partial function docu
|
changeset |
files
|
| Fri, 16 Dec 2022 18:11:03 +0100 |
nipkow |
Added section about code generation for partial functions
|
changeset |
files
|
| Fri, 16 Dec 2022 10:30:15 +0100 |
desharna |
added lemmas sym_on_subset and symp_on_subset
|
changeset |
files
|
| Fri, 16 Dec 2022 10:28:37 +0100 |
desharna |
added lemmas sym_onD and symp_onD
|
changeset |
files
|
| Fri, 16 Dec 2022 10:23:51 +0100 |
desharna |
added lemmas sym_onI and symp_onI
|
changeset |
files
|
| Fri, 16 Dec 2022 10:18:35 +0100 |
desharna |
added lemma symp_on_sym_on_eq[pred_set_conv]
|
changeset |
files
|
| Fri, 16 Dec 2022 10:13:52 +0100 |
desharna |
added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
|
changeset |
files
|
| Fri, 16 Dec 2022 09:55:22 +0100 |
desharna |
added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
|
changeset |
files
|
| Thu, 15 Dec 2022 13:18:25 +0100 |
desharna |
added lemmas antisym_on_subset and antisymp_on_subset
|
changeset |
files
|
| Thu, 15 Dec 2022 12:32:01 +0100 |
desharna |
strengthened antisymp_le and antisymp_ge
|
changeset |
files
|
| Thu, 15 Dec 2022 10:55:01 +0100 |
desharna |
added lemmas antisym_onD and antisymp_onD
|
changeset |
files
|
| Thu, 15 Dec 2022 10:51:46 +0100 |
desharna |
added lemmas antisym_onI and antisymp_onI
|
changeset |
files
|
| Thu, 15 Dec 2022 09:44:50 +0100 |
desharna |
added lemma antisymp_reflcp
|
changeset |
files
|
| Thu, 15 Dec 2022 10:25:55 +0100 |
desharna |
added antisymp_on_antisym_on_eq[pred_set_conv]
|
changeset |
files
|
| Thu, 15 Dec 2022 10:24:21 +0100 |
desharna |
added predicates antisym_on and antisymp_on and redefined antisym and antisymp to be abbreviations
|
changeset |
files
|
| Tue, 13 Dec 2022 11:29:52 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 13 Dec 2022 11:27:51 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 13 Dec 2022 11:25:26 +0100 |
wenzelm |
clarified order: accumulate strictly from left to right;
|
changeset |
files
|
| Tue, 13 Dec 2022 11:18:27 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 13 Dec 2022 11:11:29 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 13 Dec 2022 11:01:04 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 12 Dec 2022 19:49:12 +0100 |
wenzelm |
clarified signature: more types and operations;
|
changeset |
files
|
| Mon, 12 Dec 2022 13:59:18 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 12 Dec 2022 13:28:18 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 11 Dec 2022 20:27:40 +0100 |
wenzelm |
proper file extension for Isabelle_System.extract;
|
changeset |
files
|
| Sun, 11 Dec 2022 19:34:51 +0100 |
wenzelm |
tuned implementation;
|
changeset |
files
|
| Sun, 11 Dec 2022 18:57:41 +0100 |
wenzelm |
more uniform use of make_directory;
|
changeset |
files
|
| Sun, 11 Dec 2022 18:50:21 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sun, 11 Dec 2022 14:16:09 +0100 |
wenzelm |
tuned: less redundant implementation;
|
changeset |
files
|
| Sun, 11 Dec 2022 14:10:32 +0100 |
wenzelm |
clarified signature: copy directory content more directly;
|
changeset |
files
|
| Sun, 11 Dec 2022 14:05:12 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
| Sun, 11 Dec 2022 13:54:16 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sun, 11 Dec 2022 13:46:34 +0100 |
wenzelm |
clarified signature: more general operations;
|
changeset |
files
|
| Sun, 11 Dec 2022 12:52:46 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 11 Dec 2022 11:47:28 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 10 Dec 2022 21:02:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 10 Dec 2022 20:31:47 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 10 Dec 2022 15:57:21 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 09 Dec 2022 15:53:09 +0100 |
desharna |
merged
|
changeset |
files
|
| Tue, 06 Dec 2022 19:17:05 +0100 |
desharna |
Strengthened multiset lemmas w.r.t. irrefl and irreflp
|
changeset |
files
|
| Thu, 08 Dec 2022 22:38:03 +0100 |
wenzelm |
clarified signature: proper scopes and types;
|
changeset |
files
|
| Thu, 08 Dec 2022 22:11:36 +0100 |
wenzelm |
maintain global state of document editor views, notably for is_active operation;
|
changeset |
files
|
| Thu, 08 Dec 2022 22:04:28 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 08 Dec 2022 21:41:26 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Thu, 08 Dec 2022 17:23:31 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Thu, 08 Dec 2022 17:04:13 +0100 |
wenzelm |
clarified signature: more robust;
|
changeset |
files
|
| Thu, 08 Dec 2022 16:10:45 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 08 Dec 2022 16:05:02 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Thu, 08 Dec 2022 14:02:59 +0100 |
wenzelm |
more specific GUI for document nodes;
|
changeset |
files
|
| Thu, 08 Dec 2022 11:55:35 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 08 Dec 2022 11:51:42 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 08 Dec 2022 11:45:12 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 08 Dec 2022 11:24:43 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 08 Dec 2022 11:16:35 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 08 Dec 2022 10:44:03 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 07 Dec 2022 21:35:06 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 07 Dec 2022 21:03:17 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 07 Dec 2022 21:02:43 +0100 |
wenzelm |
clarified signature: just one level of arguments to avoid type-inference problems;
|
changeset |
files
|
| Wed, 07 Dec 2022 15:43:47 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Wed, 07 Dec 2022 12:41:31 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 07 Dec 2022 12:38:06 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 07 Dec 2022 10:11:58 +0100 |
desharna |
stated goals of some lemmas explicitely to prevent silent changes
|
changeset |
files
|
| Tue, 06 Dec 2022 18:56:28 +0100 |
desharna |
rewrite proofs using to_pred attribute on existing lemmas
|
changeset |
files
|
| Tue, 06 Dec 2022 20:08:51 +0100 |
wenzelm |
clarified signature: less redundancy;
|
changeset |
files
|
| Tue, 06 Dec 2022 19:29:29 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 06 Dec 2022 19:20:09 +0100 |
wenzelm |
potentially more robust delay_load action: avoid loosing events due to guards;
|
changeset |
files
|
| Tue, 06 Dec 2022 18:37:57 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 06 Dec 2022 16:52:35 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 06 Dec 2022 16:44:47 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 06 Dec 2022 16:42:08 +0100 |
wenzelm |
more uniform tooltip for plugin options dialog;
|
changeset |
files
|
| Tue, 06 Dec 2022 16:38:50 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 06 Dec 2022 16:26:59 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 06 Dec 2022 16:23:49 +0100 |
wenzelm |
more uniform session selectors, with persistent options;
|
changeset |
files
|
| Tue, 06 Dec 2022 14:41:13 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 06 Dec 2022 08:50:57 +0100 |
desharna |
NEWS
|
changeset |
files
|
| Tue, 06 Dec 2022 08:43:43 +0100 |
desharna |
merged
|
changeset |
files
|
| Thu, 24 Nov 2022 10:02:26 +0100 |
desharna |
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
|
changeset |
files
|
| Wed, 23 Nov 2022 10:27:24 +0100 |
desharna |
added lemma totalp_on_converse[simp]
|
changeset |
files
|
| Wed, 23 Nov 2022 10:23:18 +0100 |
desharna |
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
|
changeset |
files
|
| Wed, 23 Nov 2022 10:02:04 +0100 |
desharna |
added type annotations and tuned formatting
|
changeset |
files
|
| Wed, 23 Nov 2022 09:57:59 +0100 |
desharna |
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
|
changeset |
files
|
| Mon, 05 Dec 2022 22:46:38 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 05 Dec 2022 22:42:56 +0100 |
wenzelm |
tuned GUI behaviour;
|
changeset |
files
|
| Mon, 05 Dec 2022 22:31:46 +0100 |
wenzelm |
more GUI elements;
|
changeset |
files
|
| Mon, 05 Dec 2022 21:10:39 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Mon, 05 Dec 2022 16:27:27 +0100 |
wenzelm |
clarified process: implicit load() when finished;
|
changeset |
files
|
| Mon, 05 Dec 2022 16:24:29 +0100 |
wenzelm |
more robust, notably initial update();
|
changeset |
files
|
| Mon, 05 Dec 2022 15:41:40 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 05 Dec 2022 15:36:03 +0100 |
wenzelm |
tuned messages: implement "verbose = false", but there is no theory output anyway;
|
changeset |
files
|
| Mon, 05 Dec 2022 16:43:57 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 23 Nov 2022 09:54:53 +0100 |
desharna |
added lemmas irrefl_on_subset and irreflp_on_subset
|
changeset |
files
|
| Mon, 21 Nov 2022 14:11:30 +0100 |
desharna |
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
|
changeset |
files
|
| Mon, 05 Dec 2022 15:19:52 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Mon, 05 Dec 2022 14:47:08 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Mon, 05 Dec 2022 12:17:56 +0100 |
wenzelm |
tuned messages and options;
|
changeset |
files
|
| Sun, 04 Dec 2022 18:49:58 +0100 |
desharna |
merged
|
changeset |
files
|
| Mon, 21 Nov 2022 18:24:55 +0100 |
desharna |
removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
|
changeset |
files
|
| Sun, 04 Dec 2022 14:24:42 +0100 |
wenzelm |
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
|
changeset |
files
|
| Sun, 04 Dec 2022 14:15:12 +0100 |
wenzelm |
more direct access to jEdit jar resources, without unzip;
|
changeset |
files
|
| Thu, 01 Dec 2022 11:36:45 +0100 |
wenzelm |
clarified check: allow to remove bad directories;
|
changeset |
files
|
| Thu, 01 Dec 2022 11:32:59 +0100 |
wenzelm |
clarified check;
|
changeset |
files
|
| Thu, 01 Dec 2022 11:30:51 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Wed, 30 Nov 2022 22:07:59 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 30 Nov 2022 21:53:55 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 30 Nov 2022 21:36:06 +0100 |
wenzelm |
proper unzip with strip option, within the JVM;
|
changeset |
files
|
| Wed, 30 Nov 2022 15:53:21 +0100 |
wenzelm |
updated to sqlite-jdbc-3.39.4.1;
|
changeset |
files
|
| Wed, 30 Nov 2022 15:38:58 +0100 |
wenzelm |
more standard component build process;
|
changeset |
files
|
| Wed, 30 Nov 2022 15:32:25 +0100 |
wenzelm |
clarified signature: prefer Scala functions instead of shell scripts;
|
changeset |
files
|
| Wed, 30 Nov 2022 15:19:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 30 Nov 2022 15:14:21 +0100 |
wenzelm |
more direct target directory;
|
changeset |
files
|
| Wed, 30 Nov 2022 15:03:31 +0100 |
wenzelm |
clarified signature: prefer Scala functions instead of shell scripts;
|
changeset |
files
|
| Mon, 28 Nov 2022 11:38:55 +0000 |
paulson |
A new Isabelle/CTT example, and eliminated some old-style quotation marks
|
changeset |
files
|
| Fri, 25 Nov 2022 22:38:10 +0100 |
wenzelm |
clarified exception: avoid odd compiler warning;
|
changeset |
files
|
| Fri, 25 Nov 2022 21:58:40 +0100 |
wenzelm |
update to scala-3.2.1;
|
changeset |
files
|
| Fri, 25 Nov 2022 20:45:52 +0100 |
wenzelm |
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
|
changeset |
files
|
| Fri, 25 Nov 2022 20:39:25 +0100 |
wenzelm |
update to jdk-17.0.5 (Oct-2022);
|
changeset |
files
|
| Fri, 25 Nov 2022 20:18:10 +0100 |
wenzelm |
more standard component build process;
|
changeset |
files
|
| Fri, 25 Nov 2022 20:17:54 +0100 |
wenzelm |
proper treatment of tar.gz double-extension;
|
changeset |
files
|
| Fri, 25 Nov 2022 16:20:14 +0100 |
wenzelm |
proper download, instead of assuming local directory;
|
changeset |
files
|
| Fri, 25 Nov 2022 15:29:03 +0100 |
wenzelm |
more standard component build process;
|
changeset |
files
|
| Fri, 25 Nov 2022 14:44:22 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 25 Nov 2022 13:38:15 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 25 Nov 2022 10:57:38 +0100 |
wenzelm |
discontinue unused JCEF: superseded by Electron with its bundled Chromium;
|
changeset |
files
|
| Fri, 25 Nov 2022 10:49:46 +0100 |
wenzelm |
prefer deterministic result;
|
changeset |
files
|
| Thu, 24 Nov 2022 14:22:43 +0100 |
wenzelm |
clarified command-line arguments: follow more recent isabelle build_XYZ;
|
changeset |
files
|
| Wed, 23 Nov 2022 11:48:07 +0100 |
blanchet |
compile
|
changeset |
files
|
| Wed, 23 Nov 2022 11:26:50 +0100 |
blanchet |
correctly show '(> 2 s, timed out)' or similar in Sledgehammer's output
|
changeset |
files
|
| Mon, 21 Nov 2022 18:23:32 +0100 |
desharna |
merged
|
changeset |
files
|
| Mon, 21 Nov 2022 13:53:04 +0100 |
desharna |
strengthened and renamed lemma reflp_on_equality
|
changeset |
files
|
| Mon, 21 Nov 2022 13:48:58 +0100 |
desharna |
renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
|
changeset |
files
|
| Mon, 21 Nov 2022 16:21:49 +0000 |
paulson |
Added an example for Isabelle/CTT
|
changeset |
files
|
| Sun, 20 Nov 2022 23:53:39 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 20 Nov 2022 23:37:54 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sun, 13 Nov 2022 21:59:19 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Sun, 13 Nov 2022 21:31:45 +0100 |
wenzelm |
prefer sorted result;
|
changeset |
files
|
| Sun, 13 Nov 2022 20:45:49 +0100 |
wenzelm |
separate style for re-use;
|
changeset |
files
|
| Sun, 13 Nov 2022 20:28:39 +0100 |
wenzelm |
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
|
changeset |
files
|
| Sun, 13 Nov 2022 14:56:24 +0100 |
wenzelm |
retain data structures more accurately;
|
changeset |
files
|
| Sat, 12 Nov 2022 19:09:41 +0100 |
wenzelm |
proper join without delimiter;
|
changeset |
files
|
| Sat, 12 Nov 2022 19:04:28 +0100 |
wenzelm |
more accurate token types;
|
changeset |
files
|
| Sat, 12 Nov 2022 17:21:38 +0100 |
wenzelm |
clarified JS namespace;
|
changeset |
files
|
| Fri, 11 Nov 2022 23:25:24 +0100 |
wenzelm |
proper support for Windows;
|
changeset |
files
|
| Fri, 11 Nov 2022 23:04:55 +0100 |
wenzelm |
support for the Prism.js syntax highlighter -- via external Node.js process;
|
changeset |
files
|
| Fri, 11 Nov 2022 21:35:33 +0100 |
wenzelm |
support for JavaScript syntax and Node.js platform;
|
changeset |
files
|
| Thu, 10 Nov 2022 14:55:20 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 10 Nov 2022 12:25:28 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 10 Nov 2022 12:21:44 +0100 |
wenzelm |
clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end;
|
changeset |
files
|
| Thu, 10 Nov 2022 11:20:37 +0100 |
wenzelm |
clarified signature: only support nameless separator;
|
changeset |
files
|
| Thu, 10 Nov 2022 11:17:26 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 10 Nov 2022 11:49:34 +0100 |
blanchet |
use timeout with MiniSat
|
changeset |
files
|
| Thu, 10 Nov 2022 08:13:28 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 09 Nov 2022 16:36:22 +0100 |
desharna |
added lemma reflp_on_conversp[simp]
|
changeset |
files
|
| Wed, 09 Nov 2022 15:38:43 +0100 |
desharna |
added lemma transp_reflclp[simp]
|
changeset |
files
|
| Wed, 09 Nov 2022 15:37:21 +0100 |
desharna |
added lemma reflclp_ident_if_reflp[simp]
|
changeset |
files
|
| Wed, 09 Nov 2022 16:39:45 +0100 |
desharna |
added lemma reflp_on_reflclp[simp]
|
changeset |
files
|
| Wed, 09 Nov 2022 16:45:12 +0100 |
desharna |
strengthened lemma reflp_rtranclp and renamed to reflp_on_rtranclp
|
changeset |
files
|
| Wed, 09 Nov 2022 21:14:20 +0100 |
wenzelm |
more robust selection: avoid duplicates via "batch" number;
|
changeset |
files
|
| Wed, 09 Nov 2022 20:30:52 +0100 |
wenzelm |
tuned GUI;
|
changeset |
files
|
| Wed, 09 Nov 2022 19:42:21 +0100 |
wenzelm |
clarified GUI.Selector, with support for separator as pseudo-entry;
|
changeset |
files
|
| Wed, 09 Nov 2022 14:20:52 +0100 |
wenzelm |
clarified GUI state;
|
changeset |
files
|
| Wed, 09 Nov 2022 13:33:32 +0100 |
wenzelm |
clarified file names;
|
changeset |
files
|
| Wed, 09 Nov 2022 13:21:18 +0100 |
wenzelm |
clarified Log_Progress vs. GUI: more like Syslog_Dockable;
|
changeset |
files
|
| Wed, 09 Nov 2022 12:32:20 +0100 |
wenzelm |
clarified signature: more public operations;
|
changeset |
files
|
| Wed, 09 Nov 2022 12:05:32 +0100 |
wenzelm |
tuned signature, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Tue, 08 Nov 2022 08:41:48 +0100 |
nipkow |
merged
|
changeset |
files
|
| Tue, 08 Nov 2022 08:41:29 +0100 |
nipkow |
retain derived lemma for better findability
|
changeset |
files
|
| Mon, 07 Nov 2022 22:16:37 +0100 |
nipkow |
generalized sorted_sort_id to sort_key_id_if_sorted
|
changeset |
files
|
| Mon, 07 Nov 2022 21:53:36 +0100 |
wenzelm |
suppress document_required GUI element for now: still unused;
|
changeset |
files
|
| Mon, 07 Nov 2022 21:51:14 +0100 |
wenzelm |
clarified layout;
|
changeset |
files
|
| Mon, 07 Nov 2022 21:32:09 +0100 |
wenzelm |
clarified node_required status: distinguish theory_required vs. document_required;
|
changeset |
files
|
| Sun, 06 Nov 2022 23:10:28 +0100 |
wenzelm |
proper user tool;
|
changeset |
files
|
| Sun, 06 Nov 2022 22:20:51 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sun, 06 Nov 2022 22:17:28 +0100 |
wenzelm |
support for EPTCS style with demo document;
|
changeset |
files
|
| Sun, 06 Nov 2022 21:45:06 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sun, 06 Nov 2022 20:56:05 +0100 |
wenzelm |
clarified delay -- more reactive;
|
changeset |
files
|
| Sun, 06 Nov 2022 20:44:12 +0100 |
wenzelm |
provide Session.init_time as reference point for diagnostic messages;
|
changeset |
files
|
| Sun, 06 Nov 2022 20:27:35 +0100 |
wenzelm |
afford more reactive consolidation;
|
changeset |
files
|
| Sun, 06 Nov 2022 19:25:48 +0100 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Sun, 06 Nov 2022 18:54:32 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 06 Nov 2022 15:28:56 +0100 |
wenzelm |
afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
|
changeset |
files
|
| Sun, 06 Nov 2022 12:54:46 +0100 |
wenzelm |
proper executable files for Windows;
|
changeset |
files
|
| Sun, 06 Nov 2022 12:20:38 +0100 |
wenzelm |
further attempts to confine dotnet to $ISABELLE_HOME_USER;
|
changeset |
files
|
| Sun, 06 Nov 2022 12:11:13 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Sun, 06 Nov 2022 12:07:44 +0100 |
wenzelm |
more command-line options;
|
changeset |
files
|
| Sun, 06 Nov 2022 12:00:35 +0100 |
wenzelm |
clarified component settings: always update existing version;
|
changeset |
files
|
| Sun, 06 Nov 2022 00:00:17 +0100 |
wenzelm |
more TODO for release;
|
changeset |
files
|
| Sat, 05 Nov 2022 23:42:07 +0100 |
wenzelm |
disable telemetry;
|
changeset |
files
|
| Sat, 05 Nov 2022 23:16:43 +0100 |
wenzelm |
clarified error;
|
changeset |
files
|
| Sat, 05 Nov 2022 23:08:35 +0100 |
wenzelm |
tuned message, example is in NEWS;
|
changeset |
files
|
| Sat, 05 Nov 2022 22:59:38 +0100 |
wenzelm |
proper default_platform;
|
changeset |
files
|
| Sat, 05 Nov 2022 22:45:26 +0100 |
wenzelm |
tuned NEWS;
|
changeset |
files
|
| Sat, 05 Nov 2022 22:38:56 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sat, 05 Nov 2022 22:35:20 +0100 |
wenzelm |
support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
|
changeset |
files
|
| Sat, 05 Nov 2022 19:13:48 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 05 Nov 2022 16:24:59 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 05 Nov 2022 14:53:29 +0100 |
wenzelm |
clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
|
changeset |
files
|
| Sat, 05 Nov 2022 14:41:51 +0100 |
wenzelm |
clarified options: support lualatex as well, but prefer old pdflatex for demos;
|
changeset |
files
|
| Sat, 05 Nov 2022 14:29:19 +0100 |
wenzelm |
more command-line options;
|
changeset |
files
|
| Sat, 05 Nov 2022 13:11:45 +0100 |
wenzelm |
proper URL;
|
changeset |
files
|
| Sat, 05 Nov 2022 13:08:37 +0100 |
wenzelm |
document_build engine for "lipics", with options and document_files;
|
changeset |
files
|
| Sat, 05 Nov 2022 12:29:22 +0100 |
wenzelm |
clarified signature: allow to change options in instances of Document_Build.Engine;
|
changeset |
files
|
| Sat, 05 Nov 2022 12:27:53 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 05 Nov 2022 12:12:33 +0100 |
wenzelm |
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;
|
changeset |
files
|
| Sat, 05 Nov 2022 09:57:51 +0100 |
nipkow |
Better use the finite simproc selectively only
|
changeset |
files
|
| Fri, 04 Nov 2022 20:56:07 +0100 |
wenzelm |
tuned document;
|
changeset |
files
|
| Fri, 04 Nov 2022 20:48:14 +0100 |
wenzelm |
tuned document;
|
changeset |
files
|
| Fri, 04 Nov 2022 20:32:20 +0100 |
wenzelm |
clarified LaTeX style;
|
changeset |
files
|
| Fri, 04 Nov 2022 20:15:54 +0100 |
wenzelm |
support for Springer LLNCS with demo document;
|
changeset |
files
|
| Fri, 04 Nov 2022 20:02:54 +0100 |
wenzelm |
prefer explicit utf8 for old pdflatex;
|
changeset |
files
|
| Fri, 04 Nov 2022 19:59:00 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Nov 2022 19:57:21 +0100 |
wenzelm |
proper chapter (amending 809cd1195795);
|
changeset |
files
|
| Fri, 04 Nov 2022 18:59:54 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 04 Nov 2022 17:35:21 +0100 |
wenzelm |
tuned (again);
|
changeset |
files
|
| Fri, 04 Nov 2022 17:17:05 +0100 |
wenzelm |
prefer strict operation (see also f29056da5903);
|
changeset |
files
|
| Fri, 04 Nov 2022 17:14:41 +0100 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| Fri, 04 Nov 2022 17:11:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Nov 2022 16:59:56 +0100 |
wenzelm |
prefer strict operation;
|
changeset |
files
|
| Fri, 04 Nov 2022 16:51:07 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Nov 2022 16:35:39 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 04 Nov 2022 15:34:23 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 04 Nov 2022 15:15:25 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 04 Nov 2022 15:09:44 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Nov 2022 15:05:23 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Nov 2022 14:53:25 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 04 Nov 2022 13:33:04 +0100 |
wenzelm |
clarified options;
|
changeset |
files
|
| Fri, 04 Nov 2022 11:38:01 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Nov 2022 11:11:40 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Nov 2022 13:19:52 +0100 |
nipkow |
merged
|
changeset |
files
|
| Thu, 03 Nov 2022 14:20:07 +0100 |
nipkow |
added finite simproc
|
changeset |
files
|
| Thu, 03 Nov 2022 21:09:37 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 03 Nov 2022 21:09:20 +0100 |
wenzelm |
clarified directory layout: templates for user sessions;
|
changeset |
files
|
| Thu, 03 Nov 2022 20:58:10 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 03 Nov 2022 20:53:21 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 03 Nov 2022 20:42:27 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 03 Nov 2022 20:33:59 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 03 Nov 2022 20:10:35 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 03 Nov 2022 16:08:28 +0100 |
wenzelm |
proper pattern (amending 40a365360680);
|
changeset |
files
|
| Thu, 03 Nov 2022 16:03:44 +0100 |
wenzelm |
more timing;
|
changeset |
files
|
| Thu, 03 Nov 2022 15:19:01 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 03 Nov 2022 14:50:43 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Thu, 03 Nov 2022 12:54:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 03 Nov 2022 12:52:06 +0100 |
wenzelm |
prefer abstract command kind (in contrast to 367f4512e65c);
|
changeset |
files
|
| Thu, 03 Nov 2022 12:50:53 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 02 Nov 2022 16:13:29 +0100 |
wenzelm |
tuned: avoid warning in IntelliJ IDEA;
|
changeset |
files
|
| Wed, 02 Nov 2022 11:34:24 +0100 |
wenzelm |
more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;
|
changeset |
files
|
| Wed, 02 Nov 2022 11:01:22 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 02 Nov 2022 10:24:44 +0100 |
wenzelm |
clarified signature: do not require finished theory;
|
changeset |
files
|
| Wed, 02 Nov 2022 09:47:27 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Wed, 02 Nov 2022 18:58:38 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 28 Oct 2022 15:39:35 +0200 |
desharna |
added lemmas multp_mono_strong and mult_mono_strong
|
changeset |
files
|
| Mon, 31 Oct 2022 21:58:08 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 31 Oct 2022 21:44:34 +0100 |
wenzelm |
support for FoilTeX with demo document;
|
changeset |
files
|
| Mon, 31 Oct 2022 17:59:33 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Mon, 31 Oct 2022 17:13:57 +0100 |
wenzelm |
tuned whitespace for "isabelle doc" display;
|
changeset |
files
|
| Mon, 31 Oct 2022 17:10:13 +0100 |
wenzelm |
support for Easychair style with demo document;
|
changeset |
files
|
| Mon, 31 Oct 2022 15:50:13 +0100 |
wenzelm |
support for Dagstuhl LIPIcs style with demo document;
|
changeset |
files
|
| Mon, 31 Oct 2022 11:04:54 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 29 Oct 2022 21:36:33 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 28 Oct 2022 16:25:44 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 28 Oct 2022 16:14:14 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 28 Oct 2022 15:59:06 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Fri, 28 Oct 2022 15:46:20 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 28 Oct 2022 15:42:59 +0200 |
wenzelm |
tuned signature, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 28 Oct 2022 06:34:26 +0000 |
haftmann |
restructured
|
changeset |
files
|
| Fri, 28 Oct 2022 06:34:25 +0000 |
haftmann |
modulus for polynomials is invariant wrt. units
|
changeset |
files
|
| Fri, 28 Oct 2022 13:18:27 +0200 |
wenzelm |
proper Java syntax (amending ea79c21bcc47);
|
changeset |
files
|
| Fri, 28 Oct 2022 13:15:11 +0200 |
wenzelm |
reactivate emerging tool after release (see 322f2e2799a7);
|
changeset |
files
|
| Fri, 28 Oct 2022 12:32:59 +0200 |
traytel |
separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
|
changeset |
files
|
| Thu, 27 Oct 2022 12:24:05 +0100 |
paulson |
merged
|
changeset |
files
|
| Thu, 27 Oct 2022 12:23:51 +0100 |
paulson |
Beautification of some declarations
|
changeset |
files
|
| Wed, 26 Oct 2022 21:59:16 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 26 Oct 2022 16:26:23 +0200 |
wenzelm |
more robust etc/preferences: default value remains;
|
changeset |
files
|
| Wed, 26 Oct 2022 15:02:11 +0200 |
wenzelm |
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
|
changeset |
files
|
| Wed, 26 Oct 2022 18:08:44 +0100 |
paulson |
Beautifying CTT a tiny bit
|
changeset |
files
|
| Wed, 26 Oct 2022 17:22:12 +0100 |
paulson |
A couple of new theorems. Also additional coercions to the complex numbers
|
changeset |
files
|
| Wed, 26 Oct 2022 00:30:50 +0200 |
wenzelm |
more macOS platforms, without reference hardware;
|
changeset |
files
|
| Tue, 25 Oct 2022 15:13:11 +0200 |
wenzelm |
official release;
|
changeset |
files
|
| Tue, 25 Oct 2022 15:11:18 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 25 Oct 2022 11:17:19 +0200 |
wenzelm |
Added tag Isabelle2022 for changeset 1ac2416e8432
|
changeset |
files
|
| Mon, 24 Oct 2022 20:37:32 +0200 |
wenzelm |
tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
Isabelle2022
|
changeset |
files
|
| Mon, 24 Oct 2022 20:24:34 +0200 |
wenzelm |
tuned signature, e.g. for Isabelle/DOF;
|
changeset |
files
|
| Mon, 24 Oct 2022 15:24:04 +0200 |
wenzelm |
updated to naproche-20221024: minor changes to documentation;
|
changeset |
files
|
| Mon, 24 Oct 2022 15:58:06 +0100 |
paulson |
Replaced some ugly legacy proofs
|
changeset |
files
|
| Sat, 22 Oct 2022 21:43:26 +0200 |
wenzelm |
more thorough cleanup;
|
changeset |
files
|
| Sat, 22 Oct 2022 21:38:32 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 22 Oct 2022 21:20:55 +0200 |
wenzelm |
tuned: more robust Scala syntax;
|
changeset |
files
|
| Sat, 22 Oct 2022 20:15:36 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 22 Oct 2022 20:06:55 +0200 |
wenzelm |
no compression for database server: let PostgreSQL/TOAST do the job;
|
changeset |
files
|
| Sat, 22 Oct 2022 19:51:08 +0200 |
wenzelm |
prefer Zstd compression, notably for database exports;
|
changeset |
files
|
| Sat, 22 Oct 2022 16:56:17 +0200 |
wenzelm |
tuned: avoid redundant copy of potentially large array;
|
changeset |
files
|
| Sat, 22 Oct 2022 18:47:48 +0200 |
desharna |
merged
|
changeset |
files
|
| Thu, 20 Oct 2022 14:43:29 +0200 |
desharna |
tuned proof
|
changeset |
files
|
| Fri, 21 Oct 2022 21:39:38 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 21 Oct 2022 19:14:01 +0200 |
wenzelm |
tuned signature, following isabelle.setup.Environment;
|
changeset |
files
|
| Fri, 21 Oct 2022 19:10:38 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 21 Oct 2022 19:08:18 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 21 Oct 2022 19:05:48 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 21 Oct 2022 18:06:32 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 21 Oct 2022 17:56:56 +0200 |
wenzelm |
prefer new instance, following "make" signature terminology;
|
changeset |
files
|
| Fri, 21 Oct 2022 16:39:31 +0200 |
wenzelm |
generic support for XZ and Zstd compression in Isabelle/Scala;
|
changeset |
files
|
| Fri, 21 Oct 2022 14:45:13 +0200 |
wenzelm |
clarified signature: default cache is actually dummy and not changed dynamically;
|
changeset |
files
|
| Fri, 21 Oct 2022 13:15:24 +0200 |
wenzelm |
clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load() operation;
|
changeset |
files
|
| Fri, 21 Oct 2022 11:08:01 +0200 |
wenzelm |
support for Zstd data compression;
|
changeset |
files
|
| Thu, 20 Oct 2022 23:46:49 +0200 |
wenzelm |
enforce fresh build;
|
changeset |
files
|
| Thu, 20 Oct 2022 23:43:59 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 20 Oct 2022 20:14:35 +0200 |
wenzelm |
more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
|
changeset |
files
|
| Thu, 20 Oct 2022 17:05:06 +0200 |
wenzelm |
more informative errors, with optional exception trace as in Command_Line.tool;
|
changeset |
files
|
| Thu, 20 Oct 2022 14:59:39 +0200 |
wenzelm |
more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
|
changeset |
files
|
| Wed, 19 Oct 2022 16:01:07 +0200 |
wenzelm |
proper chapter for each ROOT file (amending b07f2ff55144);
|
changeset |
files
|
| Thu, 20 Oct 2022 12:57:06 +0100 |
paulson |
tidying of ugly legacy proofs
|
changeset |
files
|
| Wed, 19 Oct 2022 15:34:41 +0100 |
paulson |
Tidying of old and ugly proofs
|
changeset |
files
|
| Wed, 19 Oct 2022 13:41:42 +0100 |
paulson |
deleted unused material
|
changeset |
files
|
| Wed, 19 Oct 2022 13:39:00 +0100 |
paulson |
A bit of tidying
|
changeset |
files
|
| Tue, 18 Oct 2022 15:59:15 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 18 Oct 2022 15:59:01 +0100 |
paulson |
Slight tidying of legacy proofs
|
changeset |
files
|
| Tue, 18 Oct 2022 14:15:41 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 18 Oct 2022 11:31:35 +0200 |
wenzelm |
update naproche component;
|
changeset |
files
|
| Tue, 18 Oct 2022 10:53:55 +0200 |
wenzelm |
Added tag Isabelle2022-RC4 for changeset 8b4108f41c77
|
changeset |
files
|
| Mon, 17 Oct 2022 23:36:08 +0200 |
wenzelm |
rebuild with proper Isabelle version;
|
changeset |
files
|
| Mon, 17 Oct 2022 23:30:31 +0200 |
wenzelm |
removed junk;
|
changeset |
files
|
| Mon, 17 Oct 2022 22:39:44 +0200 |
wenzelm |
more robust, e.g. for "isabelle dump";
|
changeset |
files
|
| Mon, 17 Oct 2022 22:32:19 +0200 |
wenzelm |
more robust, e.g. for "isabelle dump";
|
changeset |
files
|
| Mon, 17 Oct 2022 22:24:32 +0200 |
wenzelm |
more robust, e.g. for "isabelle dump";
|
changeset |
files
|
| Mon, 17 Oct 2022 20:24:15 +0200 |
wenzelm |
allow spaces in SCALA_HOME directory name;
|
changeset |
files
|
| Mon, 17 Oct 2022 20:18:05 +0200 |
wenzelm |
avoid spurious error messages, e.g. when scala is missing;
|
changeset |
files
|
| Mon, 17 Oct 2022 16:10:45 +0200 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Mon, 17 Oct 2022 14:24:35 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Mon, 17 Oct 2022 14:11:59 +0200 |
wenzelm |
avoid result based on outdated state, e.g. relevant for use_theories with changed files;
|
changeset |
files
|
| Mon, 17 Oct 2022 12:15:23 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 17 Oct 2022 11:58:13 +0200 |
wenzelm |
tuned signature, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Sun, 16 Oct 2022 20:33:59 +0200 |
wenzelm |
more robust treatment of state and events;
|
changeset |
files
|
| Sun, 16 Oct 2022 19:12:27 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 16 Oct 2022 16:09:33 +0200 |
wenzelm |
proper result state (amending 954640e846d6);
|
changeset |
files
|
| Sun, 16 Oct 2022 15:35:38 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 16 Oct 2022 15:23:07 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 16 Oct 2022 14:08:34 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 16 Oct 2022 13:54:00 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 16 Oct 2022 13:18:54 +0200 |
wenzelm |
tuned: clarified old_theory (in contrast to 4d5342898b1);
|
changeset |
files
|
| Sun, 16 Oct 2022 13:10:47 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 16 Oct 2022 13:02:58 +0200 |
wenzelm |
more robust: active consumer for check_state/check_progress;
|
changeset |
files
|
| Sat, 15 Oct 2022 16:09:05 +0200 |
wenzelm |
proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);
|
changeset |
files
|
| Sat, 15 Oct 2022 13:51:08 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 15 Oct 2022 12:24:17 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 14 Oct 2022 13:35:25 +0200 |
wenzelm |
proper Symbol.encode (following fd1efd6dd385), e.g. relevant for 'ML_file' with symbols like \<^here>;
|
changeset |
files
|
| Tue, 18 Oct 2022 07:57:30 +0200 |
desharna |
merged
|
changeset |
files
|
| Mon, 17 Oct 2022 18:21:54 +0200 |
desharna |
added lemma fmember_iff_member_fset
|
changeset |
files
|
| Mon, 17 Oct 2022 16:00:41 +0100 |
paulson |
tiny renaming
|
changeset |
files
|
| Mon, 17 Oct 2022 14:53:09 +0100 |
paulson |
merged
|
changeset |
files
|
| Mon, 17 Oct 2022 14:53:02 +0100 |
paulson |
Added the multiset termination proof
|
changeset |
files
|
| Mon, 17 Oct 2022 13:04:00 +0200 |
blanchet |
generate some metainformation not only for SPASS but also for Zipperposition, for experimentation
|
changeset |
files
|
| Sat, 15 Oct 2022 16:34:19 +0200 |
desharna |
added lemma wfP_subset_mset[simp]
|
changeset |
files
|
| Fri, 14 Oct 2022 15:48:31 +0100 |
paulson |
Tidying of some very old proofs
|
changeset |
files
|
| Fri, 14 Oct 2022 14:57:48 +0100 |
paulson |
merged
|
changeset |
files
|
| Fri, 14 Oct 2022 14:57:28 +0100 |
paulson |
tidying of some old proofs
|
changeset |
files
|
| Fri, 14 Oct 2022 14:39:52 +0200 |
nipkow |
merged
|
changeset |
files
|
| Fri, 14 Oct 2022 14:39:45 +0200 |
nipkow |
new contributor
|
changeset |
files
|
| Fri, 14 Oct 2022 10:35:07 +0200 |
nipkow |
more List lemmas (partly by Jeremy Sylvestre)
|
changeset |
files
|
| Fri, 14 Oct 2022 10:30:37 +0100 |
paulson |
merged
|
changeset |
files
|
| Thu, 13 Oct 2022 17:19:56 +0100 |
paulson |
merged
|
changeset |
files
|
| Thu, 13 Oct 2022 17:19:50 +0100 |
paulson |
Trying to clean up some messy proofs
|
changeset |
files
|
| Thu, 13 Oct 2022 16:09:31 +0100 |
paulson |
Mostly, removing the unfold method
|
changeset |
files
|
| Thu, 13 Oct 2022 16:00:22 +0100 |
paulson |
Mostly trivial simplifications
|
changeset |
files
|
| Thu, 13 Oct 2022 15:49:09 +0100 |
paulson |
Removal of the "unfold" method in favour of "unfolding"
|
changeset |
files
|
| Thu, 13 Oct 2022 15:38:32 +0100 |
paulson |
Elimination of the archaic ASCII syntax
|
changeset |
files
|
| Thu, 13 Oct 2022 17:31:22 +0200 |
desharna |
strengthened lemmas preorder.reflp_ge[simp] and preorder.reflp_le[simp]
|
changeset |
files
|
| Thu, 13 Oct 2022 17:22:34 +0200 |
desharna |
added lemmas linorder.totalp_ge[simp], linorder.totalp_greater[simp], linorder.totalp_le[simp], and linorder.totalp_less[simp]
|
changeset |
files
|
| Thu, 13 Oct 2022 17:00:43 +0200 |
desharna |
NEWS
|
changeset |
files
|
| Thu, 13 Oct 2022 16:45:49 +0200 |
desharna |
merged
|
changeset |
files
|
| Thu, 13 Oct 2022 14:30:53 +0200 |
desharna |
fixed NEWS following cee0b9fccf6f
|
changeset |
files
|
| Thu, 13 Oct 2022 14:27:15 +0200 |
desharna |
renamed lemma inj_on_strict_subset to image_strict_mono for symmetry with image_mono and to distinguish from inj_on_subset
|
changeset |
files
|
| Thu, 13 Oct 2022 14:49:15 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 13 Oct 2022 11:22:32 +0200 |
wenzelm |
proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning "Nothing to build";
|
changeset |
files
|
| Wed, 12 Oct 2022 19:52:03 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Wed, 12 Oct 2022 14:49:05 +0200 |
wenzelm |
less ambitious Bytes.chunk_size, which is presumably more stable with memory management under heavy load;
|
changeset |
files
|
| Wed, 12 Oct 2022 13:01:06 +0200 |
wenzelm |
tuned comment;
|
changeset |
files
|
| Wed, 12 Oct 2022 11:15:36 +0200 |
wenzelm |
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
|
changeset |
files
|
| Sun, 09 Oct 2022 16:28:28 +0200 |
wenzelm |
updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64);
|
changeset |
files
|
| Thu, 06 Oct 2022 20:13:55 +0200 |
wenzelm |
more robust: prefer Windows $USERNAME;
|
changeset |
files
|
| Thu, 06 Oct 2022 17:24:55 +0200 |
wenzelm |
proper home directory for ssh configuration (e.g. ~/.ssh/config);
|
changeset |
files
|
| Thu, 06 Oct 2022 14:40:45 +0200 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Thu, 06 Oct 2022 11:38:23 +0200 |
wenzelm |
clarified signature: more arguments;
|
changeset |
files
|
| Thu, 13 Oct 2022 10:44:27 +0200 |
desharna |
added lemma fimage_strict_mono
|
changeset |
files
|
| Wed, 12 Oct 2022 14:50:24 +0200 |
desharna |
added lemma wfP_pfsubset
|
changeset |
files
|
| Wed, 12 Oct 2022 14:37:03 +0200 |
desharna |
added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat
|
changeset |
files
|
| Wed, 12 Oct 2022 14:33:04 +0200 |
wenzelm |
update components.sha1;
|
changeset |
files
|
| Wed, 12 Oct 2022 13:47:52 +0200 |
wenzelm |
proper description;
|
changeset |
files
|
| Wed, 12 Oct 2022 08:21:07 +0200 |
nipkow |
one more lemma
|
changeset |
files
|
| Tue, 11 Oct 2022 18:52:01 +0200 |
nipkow |
merged
|
changeset |
files
|
| Tue, 11 Oct 2022 18:30:09 +0200 |
nipkow |
adjusted proofs
|
changeset |
files
|
| Tue, 11 Oct 2022 14:22:11 +0200 |
nipkow |
added and reorganized lemmas (some suggested by Jeremy Sylvestre)
|
changeset |
files
|
| Tue, 11 Oct 2022 12:13:47 +0200 |
nipkow |
removed redundant lemma
|
changeset |
files
|
| Tue, 11 Oct 2022 10:45:42 +0200 |
nipkow |
moved theorem from Fun to Set
|
changeset |
files
|
| Tue, 11 Oct 2022 11:48:04 +0200 |
desharna |
added lemmas antisymp_ge[simp], antisymp_greater[simp], antisymp_le[simp], and antisymp_less[simp]
|
changeset |
files
|
| Tue, 11 Oct 2022 11:07:07 +0200 |
desharna |
added lemmas reflp_ge[simp] and reflp_le[simp]
|
changeset |
files
|
| Mon, 10 Oct 2022 19:07:54 +0200 |
desharna |
removed unused universal variable from lemma reflp_onI
|
changeset |
files
|
| Mon, 10 Oct 2022 13:42:14 +0200 |
desharna |
added lemmas irreflD and irreflpD
|
changeset |
files
|
| Sun, 09 Oct 2022 16:24:50 +0200 |
desharna |
added lemmas antisym_if_asym and antisymp_if_asymp
|
changeset |
files
|
| Sun, 09 Oct 2022 16:10:52 +0200 |
desharna |
strengthened lemma total_on_singleton and added lemma totalp_on_singleton
|
changeset |
files
|
| Sat, 08 Oct 2022 18:35:53 +0200 |
nipkow |
generalized type classes as suggested by Jeremy Sylvestre
|
changeset |
files
|
| Thu, 06 Oct 2022 14:16:39 +0000 |
haftmann |
euclidean division on gaussian numbers
|
changeset |
files
|
| Thu, 06 Oct 2022 13:41:59 +0000 |
haftmann |
tuned proof
|
changeset |
files
|
| Tue, 04 Oct 2022 09:12:42 +0000 |
haftmann |
note on signed division on words
|
changeset |
files
|
| Tue, 04 Oct 2022 09:12:41 +0000 |
haftmann |
tuned definition
|
changeset |
files
|
| Tue, 04 Oct 2022 09:12:39 +0000 |
haftmann |
spelling
|
changeset |
files
|
| Tue, 04 Oct 2022 09:12:38 +0000 |
haftmann |
tuned proof
|
changeset |
files
|
| Tue, 04 Oct 2022 09:12:34 +0000 |
haftmann |
slightly less abusive proof pattern
|
changeset |
files
|
| Sun, 02 Oct 2022 18:22:49 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
changeset |
files
|
| Sun, 02 Oct 2022 17:41:34 +0200 |
wenzelm |
Added tag Isabelle2022-RC3 for changeset d704efeb01db
|
changeset |
files
|
| Sun, 02 Oct 2022 17:03:02 +0200 |
wenzelm |
proper cygwin component (see d042947e47a3)
|
changeset |
files
|
| Sun, 02 Oct 2022 17:01:29 +0200 |
wenzelm |
proper base names;
|
changeset |
files
|
| Sun, 02 Oct 2022 16:26:48 +0200 |
wenzelm |
suppress command echo in output;
|
changeset |
files
|
| Sun, 02 Oct 2022 16:10:27 +0200 |
wenzelm |
include openssh for rsync (see also a1c7829ac2de);
|
changeset |
files
|
| Sun, 02 Oct 2022 16:05:34 +0200 |
wenzelm |
provide naproche-20221002;
|
changeset |
files
|
| Sat, 01 Oct 2022 21:58:08 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 01 Oct 2022 21:13:45 +0200 |
wenzelm |
clarified signature: more operations;
|
changeset |
files
|
| Sat, 01 Oct 2022 20:10:56 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 01 Oct 2022 16:07:05 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Sat, 01 Oct 2022 15:42:52 +0200 |
wenzelm |
clarified signature, to support external tools like "isabelle narration";
|
changeset |
files
|
| Sat, 01 Oct 2022 13:08:34 +0000 |
haftmann |
syntactic type classes for signed division operators
|
changeset |
files
|
| Sat, 01 Oct 2022 07:56:53 +0000 |
haftmann |
reduce prominence of facts
|
changeset |
files
|
| Fri, 30 Sep 2022 21:03:58 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 30 Sep 2022 19:42:08 +0200 |
wenzelm |
more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
|
changeset |
files
|
| Fri, 30 Sep 2022 19:26:28 +0200 |
wenzelm |
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
|
changeset |
files
|
| Fri, 30 Sep 2022 12:44:21 +0200 |
Lukas Stevens |
added documentation about new order prover
|
changeset |
files
|
| Fri, 30 Sep 2022 12:41:32 +0200 |
Lukas Stevens |
tweaked
|
changeset |
files
|
| Fri, 30 Sep 2022 09:27:25 +0200 |
Fabian Huch |
tweaked;
|
changeset |
files
|
| Thu, 29 Sep 2022 14:03:40 +0000 |
haftmann |
moved relevant theorems from theory Divides to theory Euclidean_Division
|
changeset |
files
|
| Thu, 29 Sep 2022 14:15:01 +0200 |
Fabian Huch |
amend jenkins ci build;
|
changeset |
files
|
| Thu, 29 Sep 2022 13:58:26 +0200 |
Fabian Huch |
restructured ci profile into modular ci build system;
|
changeset |
files
|
| Wed, 28 Sep 2022 19:14:57 +0100 |
paulson |
more structured proofs
|
changeset |
files
|
| Wed, 28 Sep 2022 11:23:49 +0100 |
paulson |
fixed some theory presentation issues (?)
|
changeset |
files
|
| Wed, 28 Sep 2022 11:00:13 +0200 |
wenzelm |
recover informal "&" from 0c18df79b1c8;
|
changeset |
files
|
| Tue, 27 Sep 2022 22:57:30 +0100 |
paulson |
added a couple of structured proofs
|
changeset |
files
|
| Tue, 27 Sep 2022 18:02:34 +0100 |
paulson |
More obsolete "unfold" calls
|
changeset |
files
|
| Tue, 27 Sep 2022 17:54:20 +0100 |
paulson |
getting rid of apply (unfold ...)
|
changeset |
files
|
| Tue, 27 Sep 2022 17:46:52 +0100 |
paulson |
More syntactic cleanup. LaTeX markup working
|
changeset |
files
|
| Tue, 27 Sep 2022 17:03:23 +0100 |
paulson |
more modernisation of syntax
|
changeset |
files
|
| Tue, 27 Sep 2022 16:51:35 +0100 |
paulson |
Removal of obsolete ASCII syntax
|
changeset |
files
|
| Tue, 27 Sep 2022 13:34:54 +0200 |
wenzelm |
clarified options;
|
changeset |
files
|
| Mon, 26 Sep 2022 20:40:37 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 26 Sep 2022 20:40:19 +0200 |
wenzelm |
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
|
changeset |
files
|
| Mon, 26 Sep 2022 11:30:44 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 26 Sep 2022 08:41:53 +0000 |
haftmann |
streamlined division on polynomials
|
changeset |
files
|
| Sun, 25 Sep 2022 19:10:43 +0000 |
haftmann |
streamlined division on polynomials
|
changeset |
files
|
| Thu, 22 Sep 2022 20:20:37 +0200 |
wenzelm |
clarified signature: re-use store/cache from build results;
|
changeset |
files
|
| Thu, 22 Sep 2022 20:04:57 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 22 Sep 2022 17:24:50 +0200 |
wenzelm |
clarified signature: persistent Node.source / Snapshot.source;
|
changeset |
files
|
| Thu, 22 Sep 2022 16:29:26 +0200 |
wenzelm |
more examples;
|
changeset |
files
|
| Thu, 22 Sep 2022 16:17:02 +0200 |
wenzelm |
proper filter (amending fb4215da4919);
|
changeset |
files
|
| Thu, 22 Sep 2022 14:14:45 +0200 |
wenzelm |
clarified conditions: no_build is ok for presentation if "all_current" holds;
|
changeset |
files
|
| Thu, 22 Sep 2022 11:55:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 22 Sep 2022 11:51:44 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 22 Sep 2022 11:45:30 +0200 |
wenzelm |
clarified presentation_sessions: work with partial results;
|
changeset |
files
|
| Thu, 22 Sep 2022 11:30:12 +0200 |
wenzelm |
tuned signature: removed unused operations;
|
changeset |
files
|
| Thu, 22 Sep 2022 11:21:45 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 22 Sep 2022 10:38:52 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Tue, 20 Sep 2022 20:12:01 +0000 |
haftmann |
streamlined division on polynomials
|
changeset |
files
|
| Sun, 18 Sep 2022 14:10:15 +0200 |
wenzelm |
clarified packaging;
|
changeset |
files
|
| Sun, 18 Sep 2022 13:39:44 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 18 Sep 2022 13:33:26 +0200 |
wenzelm |
Added tag Isabelle2022-RC2 for changeset 778152d51e97
|
changeset |
files
|
| Sun, 18 Sep 2022 00:24:20 +0200 |
wenzelm |
show SSH options in PIDE GUI;
|
changeset |
files
|
| Sun, 18 Sep 2022 00:00:05 +0200 |
wenzelm |
inplace update: proper Linux version;
|
changeset |
files
|
| Sat, 17 Sep 2022 23:09:00 +0200 |
wenzelm |
provide naproche-20220917;
|
changeset |
files
|
| Sat, 17 Sep 2022 22:38:21 +0200 |
wenzelm |
clarified NEWS;
|
changeset |
files
|
| Sat, 17 Sep 2022 21:17:26 +0200 |
wenzelm |
proper platform directory x86_64-linux, to have it purged for other platforms;
|
changeset |
files
|
| Sat, 17 Sep 2022 18:10:48 +0200 |
wenzelm |
MLton component for x86_64-linux;
|
changeset |
files
|
| Sat, 17 Sep 2022 17:27:51 +0200 |
wenzelm |
clarified Docker base image;
|
changeset |
files
|
| Sat, 17 Sep 2022 16:50:39 +0200 |
wenzelm |
proper file headers;
|
changeset |
files
|
| Sat, 17 Sep 2022 16:16:38 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Sat, 17 Sep 2022 14:45:41 +0200 |
wenzelm |
support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;
|
changeset |
files
|
| Sat, 17 Sep 2022 12:12:22 +0200 |
wenzelm |
omit menu for unfinished tool;
|
changeset |
files
|
| Fri, 16 Sep 2022 23:44:26 +0200 |
wenzelm |
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
|
changeset |
files
|
| Fri, 16 Sep 2022 22:33:14 +0200 |
wenzelm |
more robust: snap version of docker cannot access /tmp;
|
changeset |
files
|
| Fri, 16 Sep 2022 20:54:56 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 16 Sep 2022 16:34:45 +0200 |
wenzelm |
update to scala-3.2.0;
|
changeset |
files
|
| Fri, 16 Sep 2022 16:02:28 +0200 |
wenzelm |
avoid crash of JLine on Windows;
|
changeset |
files
|
| Fri, 16 Sep 2022 15:45:40 +0200 |
wenzelm |
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
|
changeset |
files
|
| Fri, 16 Sep 2022 15:07:33 +0200 |
wenzelm |
clarified default, following 8b695e59db3f;
|
changeset |
files
|
| Fri, 16 Sep 2022 15:05:50 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 16 Sep 2022 15:03:08 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 16 Sep 2022 14:57:48 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Fri, 16 Sep 2022 14:26:42 +0200 |
wenzelm |
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
|
changeset |
files
|
| Fri, 16 Sep 2022 14:02:02 +0200 |
wenzelm |
clarified options;
|
changeset |
files
|
| Fri, 16 Sep 2022 12:49:04 +0200 |
wenzelm |
clarified options;
|
changeset |
files
|
| Thu, 15 Sep 2022 21:37:17 +0200 |
wenzelm |
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;
|
changeset |
files
|
| Thu, 15 Sep 2022 21:33:46 +0200 |
wenzelm |
proper time values in seconds;
|
changeset |
files
|
| Thu, 15 Sep 2022 14:03:17 +0200 |
wenzelm |
clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support both Windows and Cygwin ssh;
|
changeset |
files
|
| Thu, 15 Sep 2022 12:37:49 +0200 |
wenzelm |
more robust, notably for macOS (see also ff92d6edff2c);
|
changeset |
files
|
| Thu, 15 Sep 2022 12:26:51 +0200 |
wenzelm |
back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket";
|
changeset |
files
|
| Thu, 15 Sep 2022 12:08:35 +0200 |
wenzelm |
tuned names;
|
changeset |
files
|
| Thu, 15 Sep 2022 11:35:47 +0200 |
wenzelm |
proper order of platforms, to make it work uniformly on all plaform families;
|
changeset |
files
|
| Wed, 14 Sep 2022 23:58:26 +0200 |
wenzelm |
more portable;
|
changeset |
files
|
| Wed, 14 Sep 2022 23:09:02 +0200 |
wenzelm |
build both arm64-darwin and x86_64-darwin on Apple ARM hardware;
|
changeset |
files
|
| Wed, 14 Sep 2022 22:24:12 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Wed, 14 Sep 2022 22:24:06 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Wed, 14 Sep 2022 21:50:38 +0200 |
wenzelm |
more items;
|
changeset |
files
|
| Wed, 14 Sep 2022 21:14:32 +0200 |
wenzelm |
more robust: do not assume Bash syntax while testing for it;
|
changeset |
files
|
| Wed, 14 Sep 2022 17:35:38 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Wed, 14 Sep 2022 17:32:56 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 14 Sep 2022 16:46:00 +0200 |
wenzelm |
proper treatment of complex multi-line script;
|
changeset |
files
|
| Wed, 14 Sep 2022 15:57:47 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Wed, 14 Sep 2022 15:42:24 +0200 |
wenzelm |
more robust: Bash.string operations require remote bash;
|
changeset |
files
|
| Wed, 14 Sep 2022 14:59:01 +0200 |
wenzelm |
support port forwarding without multiplexing (for the sake of Windows);
|
changeset |
files
|
| Wed, 14 Sep 2022 14:54:21 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Wed, 14 Sep 2022 10:46:47 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Tue, 13 Sep 2022 23:06:52 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Tue, 13 Sep 2022 23:01:42 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 14 Sep 2022 09:15:00 +0000 |
haftmann |
More on division concerning gauss numbers.
|
changeset |
files
|
| Tue, 13 Sep 2022 22:36:41 +0200 |
wenzelm |
more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier;
|
changeset |
files
|
| Tue, 13 Sep 2022 12:30:37 +0000 |
haftmann |
more concise instance-specific rules on euclidean relation
|
changeset |
files
|
| Tue, 13 Sep 2022 18:56:48 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 13 Sep 2022 18:56:39 +0100 |
paulson |
Tidied a few more proofs
|
changeset |
files
|
| Sun, 11 Sep 2022 13:27:47 +0100 |
paulson |
merged
|
changeset |
files
|
| Sun, 11 Sep 2022 13:27:39 +0100 |
paulson |
tidied a few ugly proofs
|
changeset |
files
|
| Tue, 13 Sep 2022 11:56:38 +0200 |
wenzelm |
let rsync re-use ssh connection via control path;
|
changeset |
files
|
| Tue, 13 Sep 2022 10:44:47 +0200 |
wenzelm |
clarified command-line;
|
changeset |
files
|
| Tue, 13 Sep 2022 10:34:52 +0200 |
wenzelm |
clarified command-line;
|
changeset |
files
|
| Tue, 13 Sep 2022 10:14:44 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 13 Sep 2022 10:11:53 +0200 |
wenzelm |
proper port for Mercurial;
|
changeset |
files
|
| Tue, 13 Sep 2022 09:59:08 +0200 |
wenzelm |
clarified default: do not override port from ssh_config, which could be different from 22;
|
changeset |
files
|
| Tue, 13 Sep 2022 09:45:02 +0200 |
wenzelm |
proper Scala expression;
|
changeset |
files
|
| Tue, 13 Sep 2022 09:38:02 +0200 |
wenzelm |
clarified signature: separate unrelated modules;
|
changeset |
files
|
| Tue, 13 Sep 2022 09:24:31 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 12 Sep 2022 23:38:18 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Mon, 12 Sep 2022 23:26:21 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Mon, 12 Sep 2022 23:24:50 +0200 |
wenzelm |
clarified error;
|
changeset |
files
|
| Mon, 12 Sep 2022 23:10:45 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 12 Sep 2022 23:03:57 +0200 |
wenzelm |
removed remains of proxy_host management: delegated to .ssh/config;
|
changeset |
files
|
| Mon, 12 Sep 2022 22:52:15 +0200 |
wenzelm |
ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration);
|
changeset |
files
|
| Mon, 12 Sep 2022 08:07:22 +0000 |
haftmann |
putting together related theorems
|
changeset |
files
|
| Sun, 11 Sep 2022 16:21:20 +0000 |
haftmann |
dropped auxiliary lemma
|
changeset |
files
|
| Sun, 11 Sep 2022 23:50:36 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Sun, 11 Sep 2022 23:48:17 +0200 |
wenzelm |
clarified operation: avoid perl;
|
changeset |
files
|
| Sun, 11 Sep 2022 23:37:05 +0200 |
wenzelm |
discontinued unused operations;
|
changeset |
files
|
| Sun, 11 Sep 2022 23:27:20 +0200 |
wenzelm |
clarified signature: avoid exposure of JSch types;
|
changeset |
files
|
| Sun, 11 Sep 2022 22:51:54 +0200 |
wenzelm |
clarified signature: discontinue somewhat pointless SSH.Context;
|
changeset |
files
|
| Sun, 11 Sep 2022 22:29:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 11 Sep 2022 12:23:50 +0200 |
wenzelm |
proper path;
|
changeset |
files
|
| Sun, 11 Sep 2022 10:26:41 +0200 |
wenzelm |
Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1
|
changeset |
files
|
| Sat, 10 Sep 2022 20:44:22 +0200 |
wenzelm |
clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);
|
changeset |
files
|
| Sat, 10 Sep 2022 19:37:33 +0200 |
wenzelm |
more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
|
changeset |
files
|
| Sat, 10 Sep 2022 16:57:18 +0200 |
wenzelm |
merged;
|
changeset |
files
|
| Sat, 10 Sep 2022 16:57:12 +0200 |
wenzelm |
update for release;
|
changeset |
files
|
| Sat, 10 Sep 2022 16:12:52 +0200 |
wenzelm |
more command-line options;
|
changeset |
files
|
| Fri, 09 Sep 2022 21:28:35 +0200 |
haftmann |
less specialized euclidean relation on int
|
changeset |
files
|
| Sat, 10 Sep 2022 15:48:36 +0200 |
wenzelm |
update to Isabelle2022 and Ubuntu 22.04;
|
changeset |
files
|
| Sat, 10 Sep 2022 15:41:44 +0200 |
wenzelm |
proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;
|
changeset |
files
|
| 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
|
| Wed, 07 Sep 2022 21:15:10 +0200 |
wenzelm |
clarified output;
|
changeset |
files
|
| Wed, 07 Sep 2022 11:43:34 +0200 |
wenzelm |
more robust: capture corner case seen in line 631 of "$AFP/Automatic_Refinement/Autoref_Bindings_HOL.thy" (AFP/6c87f24bb773);
|
changeset |
files
|
| Wed, 07 Sep 2022 11:25:49 +0200 |
wenzelm |
clarified message channel for 'print_state' (NB: the command was originally for TTY or Proof General);
|
changeset |
files
|
| Wed, 07 Sep 2022 11:17:46 +0200 |
wenzelm |
updated to postgresql-42.5.0;
|
changeset |
files
|
| Wed, 07 Sep 2022 11:15:04 +0200 |
wenzelm |
tool to build Isabelle component for PostgreSQL JDBC;
|
changeset |
files
|
| Tue, 06 Sep 2022 21:06:20 +0200 |
wenzelm |
clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";
|
changeset |
files
|
| Tue, 06 Sep 2022 12:44:02 +0200 |
wenzelm |
option "show_states" for more verbosity of batch-builds;
|
changeset |
files
|
| Tue, 06 Sep 2022 12:40:36 +0200 |
wenzelm |
tuned --- avoid warnings;
|
changeset |
files
|
| Tue, 06 Sep 2022 12:25:57 +0200 |
wenzelm |
proper antiquotations;
|
changeset |
files
|
| Tue, 06 Sep 2022 11:55:24 +0200 |
wenzelm |
inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;
|
changeset |
files
|
| Mon, 05 Sep 2022 23:00:00 +0200 |
wenzelm |
proper antiquotations;
|
changeset |
files
|
| Mon, 05 Sep 2022 22:47:09 +0200 |
wenzelm |
clarified options, following e.g. "show_consts";
|
changeset |
files
|
| Mon, 05 Sep 2022 21:59:05 +0200 |
wenzelm |
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
|
changeset |
files
|
| Mon, 05 Sep 2022 21:20:38 +0200 |
wenzelm |
unused (see 15758fced053);
|
changeset |
files
|
| Mon, 05 Sep 2022 21:18:40 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Mon, 05 Sep 2022 21:13:29 +0200 |
wenzelm |
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
|
changeset |
files
|
| Mon, 05 Sep 2022 20:22:13 +0200 |
wenzelm |
proper umlauts;
|
changeset |
files
|
| Mon, 05 Sep 2022 19:23:12 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 05 Sep 2022 17:53:45 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 05 Sep 2022 13:32:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 05 Sep 2022 11:36:41 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 05 Sep 2022 11:09:35 +0200 |
wenzelm |
tuned error message;
|
changeset |
files
|
| Wed, 07 Sep 2022 08:58:27 +0200 |
desharna |
merged
|
changeset |
files
|
| Fri, 02 Sep 2022 13:41:55 +0200 |
desharna |
merged
|
changeset |
files
|
| Sat, 25 Jun 2022 13:34:41 +0200 |
desharna |
moved antimono to Fun and redefined it as an abbreviation
|
changeset |
files
|
| Sat, 25 Jun 2022 13:21:27 +0200 |
desharna |
moved mono and strict_mono to Fun and redefined them as abbreviations
|
changeset |
files
|
| Mon, 05 Sep 2022 16:39:23 +0200 |
haftmann |
clarified generic euclidean relation
|
changeset |
files
|
| Mon, 05 Sep 2022 12:54:05 +0200 |
blanchet |
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
|
changeset |
files
|
| Sat, 03 Sep 2022 23:10:38 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 03 Sep 2022 22:25:22 +0200 |
wenzelm |
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
|
changeset |
files
|
| Sat, 03 Sep 2022 22:00:51 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 03 Sep 2022 21:27:33 +0200 |
wenzelm |
tuned --- more robust syntax;
|
changeset |
files
|
| Sat, 03 Sep 2022 17:37:46 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 03 Sep 2022 17:20:35 +0200 |
wenzelm |
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
|
changeset |
files
|
| Sat, 03 Sep 2022 15:43:20 +0200 |
wenzelm |
unused (see 347ed6219dab);
|
changeset |
files
|
| Sat, 03 Sep 2022 15:39:26 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 02 Sep 2022 23:42:09 +0200 |
wenzelm |
more CONTRIBUTORS + NEWS;
|
changeset |
files
|
| Fri, 02 Sep 2022 23:41:54 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 02 Sep 2022 23:19:02 +0200 |
wenzelm |
proper description;
|
changeset |
files
|
| Fri, 02 Sep 2022 23:31:22 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 07 Mar 2022 13:37:17 +0100 |
Norbert Schirmer |
option "sort_updates" for record update simproc. Make proper record simproc definitions.
|
changeset |
files
|
| Thu, 01 Sep 2022 13:01:38 +0100 |
paulson |
Merge
|
changeset |
files
|
| Thu, 01 Sep 2022 12:48:36 +0100 |
paulson |
Three new theorems about real polynomial functions
|
changeset |
files
|
| Thu, 01 Sep 2022 10:58:46 +0200 |
wenzelm |
tuned GUI;
|
changeset |
files
|
| Thu, 01 Sep 2022 10:54:12 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 01 Sep 2022 10:52:30 +0200 |
wenzelm |
clarified GUI behaviour;
|
changeset |
files
|
| Wed, 31 Aug 2022 23:05:12 +0200 |
wenzelm |
eliminated odd Unicode blanks;
|
changeset |
files
|
| Wed, 31 Aug 2022 23:00:43 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Wed, 31 Aug 2022 23:00:14 +0200 |
wenzelm |
eliminated DOS line endings;
|
changeset |
files
|
| Wed, 31 Aug 2022 22:59:16 +0200 |
wenzelm |
eliminated tabs, assuming tab-width=8;
|
changeset |
files
|
| Wed, 31 Aug 2022 22:58:52 +0200 |
wenzelm |
eliminated tabs, assuming tab-width=4;
|
changeset |
files
|
| Wed, 31 Aug 2022 22:51:27 +0200 |
wenzelm |
updated to current Cygwin, near 3.3.5-1;
|
changeset |
files
|
| Wed, 31 Aug 2022 21:26:56 +0200 |
wenzelm |
test macOS 12 Monterey via laramac01;
|
changeset |
files
|
| Wed, 31 Aug 2022 20:54:23 +0200 |
wenzelm |
clarified GUI update;
|
changeset |
files
|
| Wed, 31 Aug 2022 20:46:55 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 31 Aug 2022 20:41:30 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 31 Aug 2022 16:39:18 +0200 |
wenzelm |
more GUI functionality;
|
changeset |
files
|
| Wed, 31 Aug 2022 15:05:28 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Tue, 30 Aug 2022 13:18:33 +0200 |
wenzelm |
clarified component structure, concerning initialization order;
|
changeset |
files
|
| Mon, 29 Aug 2022 23:59:47 +0200 |
wenzelm |
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
|
changeset |
files
|
| Mon, 29 Aug 2022 19:26:27 +0200 |
wenzelm |
provide cvc5-1.0.2 (inactive);
|
changeset |
files
|
| Mon, 29 Aug 2022 19:25:55 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Mon, 29 Aug 2022 19:14:04 +0200 |
wenzelm |
tool to build Isabelle component for cvc5;
|
changeset |
files
|
| Mon, 29 Aug 2022 16:49:42 +0200 |
wenzelm |
tuned: avoid odd stateful programming;
|
changeset |
files
|
| Sun, 28 Aug 2022 21:25:28 +0200 |
wenzelm |
more markup (for batch build);
|
changeset |
files
|
| Sun, 28 Aug 2022 20:21:47 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 28 Aug 2022 14:55:40 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 28 Aug 2022 14:44:34 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 28 Aug 2022 13:03:37 +0200 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Sun, 28 Aug 2022 12:58:59 +0200 |
wenzelm |
updated some links;
|
changeset |
files
|
| Sun, 28 Aug 2022 12:37:06 +0200 |
wenzelm |
more links, for files that formally belong to this session;
|
changeset |
files
|
| Sun, 28 Aug 2022 11:57:38 +0200 |
wenzelm |
more links;
|
changeset |
files
|
| Sun, 28 Aug 2022 11:53:48 +0200 |
wenzelm |
tuned antiquotations;
|
changeset |
files
|
| Sat, 27 Aug 2022 17:53:00 +0200 |
wenzelm |
ZF belongs to chapter FOL, following lib/html/library_index_content.template (i.e. "Documentation" area on website);
|
changeset |
files
|
| Sat, 27 Aug 2022 17:46:58 +0200 |
wenzelm |
include groups from 'chapter_definition' in session info, based on the state of chapter_defs after processing all ROOT files (thus the declaration order does not matter);
|
changeset |
files
|
| Sat, 27 Aug 2022 17:11:39 +0200 |
wenzelm |
proper chapter_definition to prevent odd definitions by users;
|
changeset |
files
|
| Sat, 27 Aug 2022 16:33:57 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 27 Aug 2022 16:08:01 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 27 Aug 2022 15:44:51 +0200 |
wenzelm |
proper order;
|
changeset |
files
|
| Sat, 27 Aug 2022 15:29:02 +0200 |
wenzelm |
tuned whitespace for presentation;
|
changeset |
files
|
| Sat, 27 Aug 2022 15:23:58 +0200 |
wenzelm |
clarified signature of Sessions.Session: chapter_defs: vs. known_chapters (in declaration order) vs. chapters (covered by visible sessions);
|
changeset |
files
|
| Sat, 27 Aug 2022 12:18:49 +0200 |
wenzelm |
clarified syntax: more uniform;
|
changeset |
files
|
| Sat, 27 Aug 2022 12:04:49 +0200 |
wenzelm |
more robust, more strict;
|
changeset |
files
|
| Sat, 27 Aug 2022 12:01:27 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 27 Aug 2022 11:58:05 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 26 Aug 2022 23:37:21 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Fri, 26 Aug 2022 23:17:07 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 26 Aug 2022 23:12:42 +0200 |
wenzelm |
clarified chapters: de-emphasize minor examples;
|
changeset |
files
|
| Fri, 26 Aug 2022 21:55:03 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 26 Aug 2022 21:49:13 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 26 Aug 2022 21:48:51 +0200 |
wenzelm |
produce root index based on sessions_structure.chapter_defs;
|
changeset |
files
|
| Fri, 26 Aug 2022 21:35:48 +0200 |
wenzelm |
provide chapter descriptions, based on lib/html/library_index_content.template;
|
changeset |
files
|
| Fri, 26 Aug 2022 21:34:09 +0200 |
wenzelm |
more robust: proper system_name;
|
changeset |
files
|
| Fri, 26 Aug 2022 21:28:26 +0200 |
wenzelm |
support 'chapter_definition' with description for presentation purposes;
|
changeset |
files
|
| Fri, 26 Aug 2022 21:25:35 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Fri, 26 Aug 2022 12:44:06 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 26 Aug 2022 12:38:00 +0200 |
wenzelm |
removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file();
|
changeset |
files
|
| Fri, 26 Aug 2022 12:26:58 +0200 |
wenzelm |
more aggressive clean_directory(session_dir), while rm_tree is guarded by check_directory, i.e. it is presumably "owned" by Browser_Info.build_session();
|
changeset |
files
|
| Fri, 26 Aug 2022 12:10:29 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 26 Aug 2022 12:07:24 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 26 Aug 2022 11:57:05 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 26 Aug 2022 11:46:53 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Fri, 26 Aug 2022 11:41:59 +0200 |
wenzelm |
more robust: ensure that chapter/session/theory do not contain special notation (like "/" or "..");
|
changeset |
files
|
| Fri, 26 Aug 2022 12:43:07 +0100 |
paulson |
merged
|
changeset |
files
|
| Thu, 25 Aug 2022 22:18:49 +0100 |
paulson |
NEWS about Sum_of_Powers
|
changeset |
files
|
| Thu, 25 Aug 2022 21:42:21 +0100 |
paulson |
Removal of a duplicate theory, since that material and more is in the AFP: https://www.isa-afp.org/entries/Bernoulli.html
|
changeset |
files
|
| Thu, 25 Aug 2022 23:09:00 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Thu, 25 Aug 2022 19:54:46 +0200 |
wenzelm |
read full sessions_requirements, for more complete entity hyperlinks;
|
changeset |
files
|
| Thu, 25 Aug 2022 19:36:33 +0200 |
wenzelm |
more accurate management of dependencies: change of build_uuid causes output of HTML, but already existing/current HTML is not produced again;
|
changeset |
files
|
| Thu, 25 Aug 2022 16:05:33 +0200 |
wenzelm |
tuned signature: more general operations;
|
changeset |
files
|
| Thu, 25 Aug 2022 15:58:17 +0200 |
wenzelm |
tuned: avoid premature File.read;
|
changeset |
files
|
| Thu, 25 Aug 2022 15:52:42 +0200 |
wenzelm |
tuned signature: build_log db is specific to PostgreSQL;
|
changeset |
files
|
| Thu, 25 Aug 2022 15:30:21 +0200 |
wenzelm |
maintain "uuid" column in session build database, to identity the original build process uniquely;
|
changeset |
files
|
| Thu, 25 Aug 2022 12:29:42 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 25 Aug 2022 11:29:55 +0200 |
wenzelm |
unused (amending 3d723062dc70);
|
changeset |
files
|
| Thu, 25 Aug 2022 11:24:13 +0200 |
wenzelm |
more readable string literals;
|
changeset |
files
|
| Wed, 24 Aug 2022 08:22:13 +0000 |
haftmann |
avoid duplicate fact error on global_interpretation of residues
|
changeset |
files
|
| Wed, 24 Aug 2022 06:21:06 +0000 |
haftmann |
avoid looping simplification for z2
|
changeset |
files
|
| Mon, 22 Aug 2022 21:37:06 +0200 |
wenzelm |
more formal meta data, within ".browser_info";
|
changeset |
files
|
| Mon, 22 Aug 2022 21:25:12 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 22 Aug 2022 15:00:46 +0200 |
wenzelm |
support for pretty-printing of JSON trees;
|
changeset |
files
|
| Mon, 22 Aug 2022 14:48:14 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 22 Aug 2022 13:29:06 +0200 |
wenzelm |
tuned: slightly more generic operations;
|
changeset |
files
|
| Mon, 22 Aug 2022 06:27:28 +0200 |
Mathias Fleury |
remove duplicate parsing for alethe; fix skolemization;
|
changeset |
files
|
| Sun, 21 Aug 2022 14:01:59 +0000 |
haftmann |
Gauss numbers
|
changeset |
files
|
| Sun, 21 Aug 2022 23:01:08 +0200 |
wenzelm |
disable laramac01 for now: system update pending;
|
changeset |
files
|
| Sun, 21 Aug 2022 15:16:26 +0200 |
wenzelm |
clarified synchronized operations: approximate file-system transactions;
|
changeset |
files
|
| Sun, 21 Aug 2022 15:00:14 +0200 |
wenzelm |
more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations;
|
changeset |
files
|
| Sun, 21 Aug 2022 13:57:40 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Sun, 21 Aug 2022 13:45:50 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 21 Aug 2022 13:44:39 +0200 |
wenzelm |
tuned comments, following "isabelle build" usage;
|
changeset |
files
|
| Sun, 21 Aug 2022 13:16:44 +0200 |
wenzelm |
clarified names;
|
changeset |
files
|
| Sun, 21 Aug 2022 13:12:25 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sun, 21 Aug 2022 12:53:46 +0200 |
wenzelm |
proper theory_dir for links to other session;
|
changeset |
files
|
| Sun, 21 Aug 2022 12:41:16 +0200 |
wenzelm |
tuned sources and comments;
|
changeset |
files
|
| Sun, 21 Aug 2022 12:35:45 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 21 Aug 2022 12:23:17 +0200 |
wenzelm |
tuned sources and comments;
|
changeset |
files
|
| Sun, 21 Aug 2022 12:19:38 +0200 |
wenzelm |
clarified names: Browser_Info.Config vs. Browser_Info.Context;
|
changeset |
files
|
| Sun, 21 Aug 2022 11:59:25 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sun, 21 Aug 2022 11:52:51 +0200 |
wenzelm |
clarified signature: terminology of "base" (here) vs. "root" (there);
|
changeset |
files
|
| Sun, 21 Aug 2022 11:48:14 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 21 Aug 2022 11:45:14 +0200 |
wenzelm |
proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
|
changeset |
files
|
| Sun, 21 Aug 2022 06:18:23 +0000 |
haftmann |
streamlined
|
changeset |
files
|
| Sun, 21 Aug 2022 06:18:23 +0000 |
haftmann |
simplified computation algorithm construction
|
changeset |
files
|
| Sat, 20 Aug 2022 21:34:55 +0200 |
wenzelm |
merged;
|
changeset |
files
|
| Sat, 20 Aug 2022 21:33:51 +0200 |
wenzelm |
more robust GUI initialization (amending 29441f2bfe81);
|
changeset |
files
|
| Sat, 20 Aug 2022 21:14:01 +0200 |
wenzelm |
clarified signature: just one common operation;
|
changeset |
files
|
| Sat, 20 Aug 2022 18:55:48 +0200 |
wenzelm |
clarified paths and links;
|
changeset |
files
|
| Sat, 20 Aug 2022 18:30:53 +0200 |
wenzelm |
more concise output of files: just one round;
|
changeset |
files
|
| Sat, 20 Aug 2022 18:02:19 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Sat, 20 Aug 2022 17:59:13 +0200 |
wenzelm |
proper node_dir within presentation_dir, not source file directory;
|
changeset |
files
|
| Sat, 20 Aug 2022 17:25:55 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sat, 20 Aug 2022 17:01:34 +0200 |
wenzelm |
clarified names;
|
changeset |
files
|
| Sat, 20 Aug 2022 16:32:18 +0200 |
wenzelm |
more thorough checks of browser_info file conflicts;
|
changeset |
files
|
| Sat, 20 Aug 2022 14:55:21 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 20 Aug 2022 14:44:04 +0200 |
wenzelm |
prefer strict operations with explicit errors (instead of missing HTML output);
|
changeset |
files
|
| Sat, 20 Aug 2022 14:03:40 +0200 |
wenzelm |
more thorough check, without path name artifacts (e.g. "./README");
|
changeset |
files
|
| Sat, 20 Aug 2022 13:45:47 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 20 Aug 2022 13:35:17 +0200 |
wenzelm |
clarified signature: Sessions.Base_Info follows Sessions.Base;
|
changeset |
files
|
| Sat, 20 Aug 2022 13:28:31 +0200 |
wenzelm |
clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check);
|
changeset |
files
|
| Sat, 20 Aug 2022 13:16:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 20 Aug 2022 12:39:37 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 20 Aug 2022 00:24:04 +0200 |
wenzelm |
evade clash with index.html (allow "Index.thy" even on case-insensitive file-systems);
|
changeset |
files
|
| Fri, 19 Aug 2022 23:58:44 +0200 |
wenzelm |
discontinued special support for README.html (which was hardly ever used in the past 2 decades);
|
changeset |
files
|
| Fri, 19 Aug 2022 21:43:06 +0200 |
wenzelm |
clarified directory layout (again): mimic original directory layout, notably ISABELLE_HOME;
|
changeset |
files
|
| Fri, 19 Aug 2022 21:25:13 +0200 |
wenzelm |
more robust treatment of Document.Node.Name, following stored data;
|
changeset |
files
|
| Fri, 19 Aug 2022 21:04:14 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Fri, 19 Aug 2022 20:59:29 +0200 |
wenzelm |
clarified directory layout: files are relative to enclosing theory;
|
changeset |
files
|
| Fri, 19 Aug 2022 20:42:19 +0200 |
wenzelm |
tuned signature: avoid duplication;
|
changeset |
files
|
| Fri, 19 Aug 2022 20:35:30 +0200 |
wenzelm |
more robust: theories could have been suppressed via option "condition";
|
changeset |
files
|
| Fri, 19 Aug 2022 20:19:05 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 19 Aug 2022 20:11:15 +0200 |
wenzelm |
tuned messages (again, see d50c2129e73a): presentation setup could fail initially for take some time;
|
changeset |
files
|
| Fri, 19 Aug 2022 20:07:41 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
changeset |
files
|
| Fri, 19 Aug 2022 16:19:59 +0200 |
wenzelm |
clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory;
|
changeset |
files
|
| Fri, 19 Aug 2022 15:24:39 +0200 |
wenzelm |
export entity file position as well, e.g. relevant for HTML presentation with aux. files;
|
changeset |
files
|
| Fri, 19 Aug 2022 15:06:04 +0200 |
wenzelm |
proper permissive = true (amending 475fedc02737)
|
changeset |
files
|
| Fri, 19 Aug 2022 14:59:24 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 19 Aug 2022 14:53:38 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 18 Aug 2022 14:16:36 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 18 Aug 2022 12:48:01 +0200 |
wenzelm |
more robust directory structure: always relative to session_dir;
|
changeset |
files
|
| Thu, 18 Aug 2022 12:02:20 +0200 |
wenzelm |
discontinued slightly odd integrity check (from af2d0e07493b): requires a different approach;
|
changeset |
files
|
| Thu, 18 Aug 2022 11:43:27 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 18 Aug 2022 11:24:20 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Thu, 18 Aug 2022 10:36:08 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Wed, 17 Aug 2022 19:52:41 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 17 Aug 2022 16:16:23 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 17 Aug 2022 16:10:21 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 17 Aug 2022 16:07:10 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Wed, 17 Aug 2022 16:03:36 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Wed, 17 Aug 2022 15:56:04 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Wed, 17 Aug 2022 15:49:59 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 17 Aug 2022 15:44:51 +0200 |
wenzelm |
clarified signature: replaced Sessions.Deps by Sessions.Structure from HTML_Context;
|
changeset |
files
|
| Wed, 17 Aug 2022 15:30:42 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 17 Aug 2022 15:18:17 +0200 |
wenzelm |
clarified signature: avoid constants from Sessions.Structure within Session.Base;
|
changeset |
files
|
| Wed, 17 Aug 2022 14:42:20 +0200 |
wenzelm |
clarified signature: avoid object-oriented HTML_Context;
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:17 +0000 |
haftmann |
tuned type signature
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:16 +0000 |
haftmann |
tuned type signature
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:12 +0000 |
haftmann |
streamlined theorems
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:11 +0000 |
haftmann |
more thorough split rules for div and mod on numerals, tuned split rules setup
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:10 +0000 |
haftmann |
streamlined simpset building, avoiding duplicated rewrite rules
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:09 +0000 |
haftmann |
consolidated attribute name
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:07 +0000 |
haftmann |
streamlined theorems
|
changeset |
files
|
| Fri, 19 Aug 2022 05:49:06 +0000 |
haftmann |
streamlined theorems and sections
|
changeset |
files
|
| Wed, 17 Aug 2022 20:37:16 +0000 |
haftmann |
streamlined primitive definitions for integer division
|
changeset |
files
|
| Thu, 18 Aug 2022 09:29:11 +0200 |
blanchet |
reintroduced SPASS to the mix
|
changeset |
files
|
| Wed, 17 Aug 2022 18:20:10 +0200 |
blanchet |
tweaked generation of Isar proofs
|
changeset |
files
|
| Wed, 17 Aug 2022 15:09:53 +0200 |
blanchet |
tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s
|
changeset |
files
|
| Wed, 17 Aug 2022 11:57:13 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Wed, 17 Aug 2022 11:52:45 +0200 |
wenzelm |
updated to sumatra_pdf-3.4.6;
|
changeset |
files
|
| Wed, 17 Aug 2022 11:28:10 +0200 |
wenzelm |
proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
|
changeset |
files
|
| Tue, 16 Aug 2022 17:24:58 +0200 |
blanchet |
revived 'try0' and 'smart' Isar proofs in Sledgehammer
|
changeset |
files
|
| Tue, 16 Aug 2022 10:39:44 +0100 |
paulson |
Cleanup of NonstandardAnalysis
|
changeset |
files
|
| Mon, 15 Aug 2022 21:57:55 +0100 |
paulson |
A bit of cleaning up
|
changeset |
files
|
| Mon, 15 Aug 2022 12:50:24 +0100 |
paulson |
The same, without adding a new simprule
|
changeset |
files
|
| Sun, 14 Aug 2022 23:51:47 +0100 |
paulson |
moved some material from Sum_of_Powers
|
changeset |
files
|
| Sun, 14 Aug 2022 18:38:40 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 14 Aug 2022 18:35:59 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 14 Aug 2022 12:18:06 +0200 |
wenzelm |
clarified theory_names with exported content;
|
changeset |
files
|
| Sun, 14 Aug 2022 12:01:47 +0200 |
wenzelm |
proper export theory_names: theory/parents are not necessarily present (amending 4d27b520622a);
|
changeset |
files
|
| Sun, 14 Aug 2022 11:39:28 +0200 |
wenzelm |
proper treatment of empty lines (amending 08f89f0e8a62);
|
changeset |
files
|
| Sun, 14 Aug 2022 11:20:10 +0200 |
wenzelm |
clarified signature: avoid confusing operation name (amending 8cf14d4ebec4);
|
changeset |
files
|
| Sun, 14 Aug 2022 11:11:11 +0100 |
paulson |
merged
|
changeset |
files
|
| Sat, 13 Aug 2022 20:08:24 +0100 |
paulson |
The right way to formulate card_UNION, plus the old version for compatibility
|
changeset |
files
|
| Sat, 13 Aug 2022 23:47:08 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 13 Aug 2022 23:08:07 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 13 Aug 2022 23:04:53 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 13 Aug 2022 22:41:45 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 13 Aug 2022 21:43:45 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 13 Aug 2022 21:42:52 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Sat, 13 Aug 2022 21:23:59 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sat, 13 Aug 2022 18:06:30 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 13 Aug 2022 17:18:45 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 13 Aug 2022 16:24:14 +0200 |
wenzelm |
clarified signature --- avoid dependent types;
|
changeset |
files
|
| Sat, 13 Aug 2022 16:12:22 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 13 Aug 2022 15:41:12 +0200 |
wenzelm |
clarified signature: avoid public representation;
|
changeset |
files
|
| Sat, 13 Aug 2022 15:09:10 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 13 Aug 2022 15:06:23 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 13 Aug 2022 14:45:36 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Sat, 13 Aug 2022 14:29:59 +0200 |
wenzelm |
more accurate treatment of option "editor_output_state", e.g. when changed via Isabelle/jEdit Plugin Options panel;
|
changeset |
files
|
| Sat, 13 Aug 2022 12:32:38 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 13 Aug 2022 11:59:06 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 13 Aug 2022 11:53:45 +0200 |
wenzelm |
tuned, following 298707451ec2;
|
changeset |
files
|
| Sat, 13 Aug 2022 11:36:24 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Sat, 13 Aug 2022 11:22:51 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Sat, 13 Aug 2022 11:19:18 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 13 Aug 2022 11:18:46 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 13 Aug 2022 11:18:22 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 12 Aug 2022 20:21:09 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 12 Aug 2022 20:20:53 +0200 |
wenzelm |
more GUI elements;
|
changeset |
files
|
| Fri, 12 Aug 2022 20:14:20 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 12 Aug 2022 20:05:21 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 12 Aug 2022 19:47:38 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 12 Aug 2022 16:58:30 +0200 |
wenzelm |
clarified signature --- more operations;
|
changeset |
files
|
| Fri, 12 Aug 2022 16:08:12 +0200 |
wenzelm |
clarified signature --- simplified types;
|
changeset |
files
|
| Fri, 12 Aug 2022 16:01:52 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 12 Aug 2022 15:57:22 +0200 |
wenzelm |
proper toString for Content_XML, which is not covered by trait Content;
|
changeset |
files
|
| Fri, 12 Aug 2022 15:48:47 +0200 |
wenzelm |
clarified output;
|
changeset |
files
|
| Fri, 12 Aug 2022 15:40:38 +0200 |
wenzelm |
clarified signature: support different document_session, e.g. within running PIDE session;
|
changeset |
files
|
| Fri, 12 Aug 2022 14:39:37 +0200 |
wenzelm |
unused (despite cf52379c0776);
|
changeset |
files
|
| Fri, 12 Aug 2022 14:33:50 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 12 Aug 2022 14:26:17 +0200 |
wenzelm |
unused (see 696819fe2424);
|
changeset |
files
|
| Fri, 12 Aug 2022 13:16:02 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 12 Aug 2022 12:50:19 +0200 |
wenzelm |
basic setup for document build panel;
|
changeset |
files
|
| Fri, 12 Aug 2022 12:19:23 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 12 Aug 2022 12:17:14 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 12 Aug 2022 12:12:37 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 12 Aug 2022 12:06:29 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 12 Aug 2022 11:47:41 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 12 Aug 2022 11:47:12 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 12 Aug 2022 11:35:44 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 12 Aug 2022 11:26:09 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 12 Aug 2022 11:18:22 +0200 |
wenzelm |
tuned signature, following hints by IntelliJ IDEA;
|
changeset |
files
|