1 files changed, 2 insertions, 0 deletions
diff --git a/isa/todo b/isa/todo
index 4f077524..e4964429 100644
--- a/isa/todo
+++ b/isa/todo
@@ -8,6 +8,8 @@ See also ../isar/todo.  Isar is now main instance for PG, this
 instance less supported.
 
 
+** X Isabelle PG: Non-blocking for .thy loading from .ML files.
+
 ** D Isabelle: I think show_sorts -> show_types, how can we reflect this ?
 
 ** D Fix mode naming for Isabelle