| Thu, 19 Jan 2023 14:57:25 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 19 Jan 2023 11:46:21 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 19 Jan 2023 11:42:01 +0100 | wenzelm | more complete index; | changeset | files |
| Thu, 19 Jan 2023 11:25:48 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 19 Jan 2023 11:23:44 +0100 | wenzelm | parse citations from raw source, without formal context; | changeset | files |
| Wed, 18 Jan 2023 16:49:01 +0100 | wenzelm | tuned signature: fewer warnings in IntelliJ IDEA; | changeset | files |
| Wed, 18 Jan 2023 16:27:44 +0100 | wenzelm | tuned messages; | changeset | files |
| 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 |