Wed, 18 Jan 2023 16:22:55 +0100 | wenzelm | tuned GUI; | changeset | files |
Wed, 18 Jan 2023 16:15:41 +0100 | wenzelm | clarified signature; | changeset | files |
Wed, 18 Jan 2023 16:04:51 +0100 | wenzelm | more efficient, thanks to persistent lazy data in Document.Node; | changeset | files |
Wed, 18 Jan 2023 14:18:31 +0100 | wenzelm | proper line positions for PIDE document; | changeset | files |
Wed, 18 Jan 2023 11:32:27 +0100 | wenzelm | tuned; | changeset | files |
Thu, 19 Jan 2023 13:55:38 +0000 | paulson | HOL/Library/BigO is obsolete | changeset | files |
Thu, 19 Jan 2023 11:13:52 +0000 | paulson | merged | changeset | files |
Thu, 19 Jan 2023 11:13:45 +0000 | paulson | tidy up of this messy and obsolete theory | changeset | files |