paulson <lp15@cam.ac.uk> [Thu, 29 Dec 2022 22:14:12 +0000] rev 76822
More tidying
paulson <lp15@cam.ac.uk> [Thu, 29 Dec 2022 16:32:56 +0000] rev 76821
Further cleaning up of messy proofs
paulson [Thu, 29 Dec 2022 11:46:32 +0000] rev 76820
merged
paulson <lp15@cam.ac.uk> [Thu, 29 Dec 2022 11:46:06 +0000] rev 76819
reorganisation and simplification of theorems about transcendental functions
wenzelm [Thu, 29 Dec 2022 16:44:45 +0100] rev 76818
tuned signature;
wenzelm [Thu, 29 Dec 2022 16:17:29 +0100] rev 76817
support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag";
wenzelm [Thu, 29 Dec 2022 15:54:49 +0100] rev 76816
tuned whitespace;
wenzelm [Thu, 29 Dec 2022 15:39:18 +0100] rev 76815
clarified signature;
wenzelm [Thu, 29 Dec 2022 14:54:32 +0100] rev 76814
clarified signature;
wenzelm [Thu, 29 Dec 2022 13:00:16 +0100] rev 76813
tuned;
wenzelm [Thu, 29 Dec 2022 12:34:40 +0100] rev 76812
tuned;
wenzelm [Thu, 29 Dec 2022 12:27:55 +0100] rev 76811
discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06);
wenzelm [Thu, 29 Dec 2022 12:08:58 +0100] rev 76810
tuned --- more robust ML patterns;
wenzelm [Thu, 29 Dec 2022 11:49:11 +0100] rev 76809
tuned;
wenzelm [Wed, 28 Dec 2022 22:37:46 +0100] rev 76808
merged
wenzelm [Wed, 28 Dec 2022 17:39:34 +0100] rev 76807
tuned signature, for the sake of AFP/Isabelle_C;
wenzelm [Wed, 28 Dec 2022 16:49:43 +0100] rev 76806
more uniform report of Markup.language_path;
wenzelm [Wed, 28 Dec 2022 16:14:37 +0100] rev 76805
omit pointless guard: ultimately observed by Isabelle_Process.report_message;
wenzelm [Wed, 28 Dec 2022 16:13:08 +0100] rev 76804
tuned signature;
wenzelm [Wed, 28 Dec 2022 16:02:12 +0100] rev 76803
clarified modules;
wenzelm [Wed, 28 Dec 2022 15:25:37 +0100] rev 76802
tuned;
wenzelm [Wed, 28 Dec 2022 14:52:03 +0100] rev 76801
tuned signature;
wenzelm [Wed, 28 Dec 2022 14:40:39 +0100] rev 76800
tuned;
wenzelm [Wed, 28 Dec 2022 14:08:00 +0100] rev 76799
tuned;
wenzelm [Wed, 28 Dec 2022 12:30:18 +0100] rev 76798
tuned output;
paulson [Wed, 28 Dec 2022 12:15:25 +0000] rev 76797
merged
paulson <lp15@cam.ac.uk> [Wed, 28 Dec 2022 12:15:16 +0000] rev 76796
Tidied some messy proofs
wenzelm [Tue, 27 Dec 2022 22:52:28 +0100] rev 76795
merged
wenzelm [Tue, 27 Dec 2022 22:48:01 +0100] rev 76794
clarified modules: avoid duplication;
wenzelm [Tue, 27 Dec 2022 22:08:31 +0100] rev 76793
tuned output;
wenzelm [Tue, 27 Dec 2022 17:35:01 +0100] rev 76792
support for generic File_Format.parse_data, with persistent result in document model;
wenzelm [Tue, 27 Dec 2022 16:36:00 +0100] rev 76791
omit warning: somewhat pointless and out-of-context;
wenzelm [Tue, 27 Dec 2022 12:15:47 +0100] rev 76790
clarified signature: avoid case class with mutable state;
wenzelm [Tue, 27 Dec 2022 12:00:37 +0100] rev 76789
tuned;
wenzelm [Tue, 27 Dec 2022 11:44:37 +0100] rev 76788
clarified signature: more explicit types;
paulson [Tue, 27 Dec 2022 10:38:34 +0000] rev 76787
merged
paulson <lp15@cam.ac.uk> [Tue, 27 Dec 2022 10:37:15 +0000] rev 76786
tidied some messy old proofs
wenzelm [Mon, 26 Dec 2022 21:28:20 +0100] rev 76785
tuned signature;
wenzelm [Mon, 26 Dec 2022 19:13:37 +0100] rev 76784
merged
wenzelm [Mon, 26 Dec 2022 19:07:42 +0100] rev 76783
tuned signature;
wenzelm [Mon, 26 Dec 2022 19:00:00 +0100] rev 76782
more robust;
wenzelm [Mon, 26 Dec 2022 18:41:27 +0100] rev 76781
clarified signature: more position information via node_name;
wenzelm [Mon, 26 Dec 2022 17:36:56 +0100] rev 76780
tuned signature: avoid name confusion;
wenzelm [Mon, 26 Dec 2022 16:57:07 +0100] rev 76779
more bibtex errors;
clarified Bibtex.Chunk.is_malformed (again): see also 9c1389befa56 and 7ee248f19ca9;
wenzelm [Mon, 26 Dec 2022 16:44:13 +0100] rev 76778
clarified signature: internalize errors (but: the parser rarely fails);
wenzelm [Mon, 26 Dec 2022 15:24:57 +0100] rev 76777
tuned signature;
wenzelm [Mon, 26 Dec 2022 15:11:42 +0100] rev 76776
clarified signature: more explicit types;
wenzelm [Mon, 26 Dec 2022 12:33:55 +0100] rev 76775
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
desharna [Mon, 26 Dec 2022 14:04:06 +0100] rev 76774
merged
desharna [Mon, 26 Dec 2022 13:54:07 +0100] rev 76773
removed old lemma names
paulson [Sat, 24 Dec 2022 15:35:43 +0000] rev 76772
merged
paulson [Fri, 23 Dec 2022 11:12:19 +0000] rev 76771
merged
paulson <lp15@cam.ac.uk> [Thu, 22 Dec 2022 18:32:42 +0000] rev 76770
A few new Sup/Inf lemmas
wenzelm [Sat, 24 Dec 2022 13:54:24 +0100] rev 76769
clarified messages;
wenzelm [Sat, 24 Dec 2022 13:19:39 +0100] rev 76768
tuned signature: follow terminology of VSCode_Resources;
wenzelm [Fri, 23 Dec 2022 22:51:47 +0100] rev 76767
tuned signature;
wenzelm [Fri, 23 Dec 2022 22:48:29 +0100] rev 76766
tuned signature;
wenzelm [Fri, 23 Dec 2022 22:41:47 +0100] rev 76765
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
prefer global operations for snapshot() and rendering();
wenzelm [Fri, 23 Dec 2022 22:33:14 +0100] rev 76764
update URL;
wenzelm [Fri, 23 Dec 2022 15:42:52 +0100] rev 76763
clarified signature;