isabelle: Changelog

wenzelm [Wed, 18 Jan 2023 16:22:55 +0100] rev 77008

tuned GUI;

wenzelm [Wed, 18 Jan 2023 16:15:41 +0100] rev 77007

clarified signature;

wenzelm [Wed, 18 Jan 2023 16:04:51 +0100] rev 77006

more efficient, thanks to persistent lazy data in Document.Node;

wenzelm [Wed, 18 Jan 2023 14:18:31 +0100] rev 77005

proper line positions for PIDE document;

wenzelm [Wed, 18 Jan 2023 11:32:27 +0100] rev 77004

tuned;

paulson <lp15@cam.ac.uk> [Thu, 19 Jan 2023 13:55:38 +0000] rev 77003

HOL/Library/BigO is obsolete

paulson [Thu, 19 Jan 2023 11:13:52 +0000] rev 77002

merged

paulson <lp15@cam.ac.uk> [Thu, 19 Jan 2023 11:13:45 +0000] rev 77001

tidy up of this messy and obsolete theory

wenzelm [Tue, 17 Jan 2023 16:56:27 +0100] rev 77000

clarified file positions: retain original source path;

wenzelm [Tue, 17 Jan 2023 16:08:54 +0100] rev 76999

backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;

isabelle