changeset 60285 | ab45c9c73c6e |
parent 60284 | 72cc58deb6ec |
child 60287 | 1c49963adb28 |
1.1 --- a/TODO.md Wed May 26 14:10:17 2021 +0200 1.2 +++ b/TODO.md Wed May 26 16:19:41 2021 +0200 1.3 @@ -26,6 +26,9 @@ 1.4 old ASCII notation (e.g. "EX" vs. "\<exists>"), with the help of PIDE markup; 1.5 1.6 1.7 +* Is it possible to eliminate union_overwrite, in favour of more standard data 1.8 + add/merge discipline? 1.9 + 1.10 * What is the purpose of "#numeral" instead of plain numeral? 1.11 1.12 * Check/clarify Context.theory_name vs. Context.theory_long_name.