author | wneuper <walther.neuper@jku.at> |
Sat, 14 Aug 2021 18:13:37 +0200 | |
changeset 60374 | c152abe930ae |
parent 60373 | 9e906a2b3496 |
child 60375 | 50ca2b90cae0 |
1.1 --- a/TODO.md Sat Aug 14 16:37:31 2021 +0200 1.2 +++ b/TODO.md Sat Aug 14 18:13:37 2021 +0200 1.3 @@ -62,7 +62,3 @@ 1.4 * WN: reduce the number of TermC.parse*; 1.5 + 0d22a6bf1fc6 was too much for 1 changeset 1.6 + first parse with ctxt in Specify (O_Model.init shall return a context,..) etc 1.7 - 1.8 -* WN: push suggestions of MW through the whole code 1.9 - + e1da148725ed : \<^ML>\<open>...\<close> instead of parentheses 1.10 - +