From f059a521f601dc3938518642252375821a22075e Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 9 Jun 2018 19:24:46 +0100 Subject: [PATCH] Updated todo items. --- TODO | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/TODO b/TODO index eb867de..78933ad 100644 --- a/TODO +++ b/TODO @@ -1,12 +1,9 @@ Open issues: --- LaTeX generation does not work without hacking and - by hand transformations of the generated code. - -- attributes are neither type-checked nor set into the instances, and there is no mechanism to recover them and use them. --- defaults are neither type-checked nor set.A +-- defaults are neither type-checked nor set. -- structural constraints are neither typechecked nor stored @@ -15,4 +12,3 @@ Open issues: -- Hovering over doc-class references is not implemented ---