Wed, 18 Jan 2023 16:22:55 +0100 wenzelm tuned GUI;
Wed, 18 Jan 2023 16:15:41 +0100 wenzelm clarified signature;
Wed, 18 Jan 2023 16:04:51 +0100 wenzelm more efficient, thanks to persistent lazy data in Document.Node;
Wed, 18 Jan 2023 14:18:31 +0100 wenzelm proper line positions for PIDE document;
Wed, 18 Jan 2023 11:32:27 +0100 wenzelm tuned;
Thu, 19 Jan 2023 13:55:38 +0000 paulson HOL/Library/BigO is obsolete
Thu, 19 Jan 2023 11:13:52 +0000 paulson merged
Thu, 19 Jan 2023 11:13:45 +0000 paulson tidy up of this messy and obsolete theory
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip