wenzelm [Fri, 30 Dec 2022 21:09:50 +0100] rev 76830
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
wenzelm [Fri, 30 Dec 2022 20:38:29 +0100] rev 76829
more robust: avoid detour via somewhat fragile Node.Name.path;
wenzelm [Fri, 30 Dec 2022 20:26:28 +0100] rev 76828
clarified generic path operations;
wenzelm [Fri, 30 Dec 2022 16:23:32 +0100] rev 76827
more flexible: implicit support for Windows;
wenzelm [Fri, 30 Dec 2022 13:25:29 +0100] rev 76826
tuned signature;
wenzelm [Fri, 30 Dec 2022 12:41:08 +0100] rev 76825
clarified output;
wenzelm [Fri, 30 Dec 2022 12:34:49 +0100] rev 76824
tuned;
paulson [Thu, 29 Dec 2022 22:14:25 +0000] rev 76823
merged
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;