| Thu, 19 Dec 2024 17:01:40 +0000 | paulson | revered the hiding of the standard nat theorems | changeset | files |
| Thu, 19 Dec 2024 16:01:06 +0100 | desharna | minor performance tuning; directly try to read file instead of first checking its existence | changeset | files |
| Thu, 19 Dec 2024 08:26:04 +0100 | desharna | merged | changeset | files |
| Thu, 19 Dec 2024 08:18:21 +0100 | desharna | minor performance tuning; avoid constructing path if unused and double construction | changeset | files |
| Wed, 18 Dec 2024 23:36:51 +0100 | wenzelm | merged | changeset | files |
| Wed, 18 Dec 2024 21:06:55 +0100 | wenzelm | more markup: for diagnostic purposes of ambig_msgs; | changeset | files |
| Wed, 18 Dec 2024 16:03:07 +0100 | wenzelm | more uniform Markup.notation vs. Markup.expression; | changeset | files |