| Wed, 28 Dec 2022 22:37:46 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Dec 2022 17:39:34 +0100 | wenzelm | tuned signature, for the sake of AFP/Isabelle_C; | changeset | files |
| Wed, 28 Dec 2022 16:49:43 +0100 | wenzelm | more uniform report of Markup.language_path; | changeset | files |
| Wed, 28 Dec 2022 16:14:37 +0100 | wenzelm | omit pointless guard: ultimately observed by Isabelle_Process.report_message; | changeset | files |
| Wed, 28 Dec 2022 16:13:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Dec 2022 16:02:12 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 28 Dec 2022 15:25:37 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 14:52:03 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Dec 2022 14:40:39 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 14:08:00 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 12:30:18 +0100 | wenzelm | tuned output; | changeset | files |
| Wed, 28 Dec 2022 12:15:25 +0000 | paulson | merged | changeset | files |
| Wed, 28 Dec 2022 12:15:16 +0000 | paulson | Tidied some messy proofs | changeset | files |
| Tue, 27 Dec 2022 22:52:28 +0100 | wenzelm | merged | changeset | files |
| Tue, 27 Dec 2022 22:48:01 +0100 | wenzelm | clarified modules: avoid duplication; | changeset | files |
| Tue, 27 Dec 2022 22:08:31 +0100 | wenzelm | tuned output; | changeset | files |
| Tue, 27 Dec 2022 17:35:01 +0100 | wenzelm | support for generic File_Format.parse_data, with persistent result in document model; | changeset | files |
| Tue, 27 Dec 2022 16:36:00 +0100 | wenzelm | omit warning: somewhat pointless and out-of-context; | changeset | files |
| Tue, 27 Dec 2022 12:15:47 +0100 | wenzelm | clarified signature: avoid case class with mutable state; | changeset | files |
| Tue, 27 Dec 2022 12:00:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 27 Dec 2022 11:44:37 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Tue, 27 Dec 2022 10:38:34 +0000 | paulson | merged | changeset | files |
| Tue, 27 Dec 2022 10:37:15 +0000 | paulson | tidied some messy old proofs | changeset | files |
| Mon, 26 Dec 2022 21:28:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Dec 2022 19:13:37 +0100 | wenzelm | merged | changeset | files |
| Mon, 26 Dec 2022 19:07:42 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Dec 2022 19:00:00 +0100 | wenzelm | more robust; | changeset | files |
| Mon, 26 Dec 2022 18:41:27 +0100 | wenzelm | clarified signature: more position information via node_name; | changeset | files |
| Mon, 26 Dec 2022 17:36:56 +0100 | wenzelm | tuned signature: avoid name confusion; | changeset | files |
| Mon, 26 Dec 2022 16:57:07 +0100 | wenzelm | more bibtex errors; | changeset | files |
| Mon, 26 Dec 2022 16:44:13 +0100 | wenzelm | clarified signature: internalize errors (but: the parser rarely fails); | changeset | files |
| Mon, 26 Dec 2022 15:24:57 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Dec 2022 15:11:42 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Mon, 26 Dec 2022 12:33:55 +0100 | wenzelm | clarified buffer_state: not synchronized, but exclusively owned by GUI thread; | changeset | files |
| Mon, 26 Dec 2022 14:04:06 +0100 | desharna | merged | changeset | files |
| Mon, 26 Dec 2022 13:54:07 +0100 | desharna | removed old lemma names | changeset | files |
| Sat, 24 Dec 2022 15:35:43 +0000 | paulson | merged | changeset | files |
| Fri, 23 Dec 2022 11:12:19 +0000 | paulson | merged | changeset | files |
| Thu, 22 Dec 2022 18:32:42 +0000 | paulson | A few new Sup/Inf lemmas | changeset | files |
| Sat, 24 Dec 2022 13:54:24 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 24 Dec 2022 13:19:39 +0100 | wenzelm | tuned signature: follow terminology of VSCode_Resources; | changeset | files |
| Fri, 23 Dec 2022 22:51:47 +0100 | wenzelm | tuned signature; | changeset | files |
| 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 |