TODO.

diff --git a/PLAN b/PLAN
index 342bf8173a96ad7f8c1666229535ff1d039d3f54..5135d83c31516d967cca12ca76a69f5d27981c8f 100644 (file)
--- a/PLAN
+++ b/PLAN
@@ -65,7 +65,6 @@ Spanning trees:
 - degree-restricted cases and arborescences
 - random sampling (propp:randommst)
 - mention bugs in Valeria's verification paper
-- add references to other applications of decomposition
 - more references on decision trees
 
 Models:
@@ -99,6 +98,7 @@ Notation:
 - introduce \widehat\O early
 - unify { x ; ... }, { x | ...} and { x : ... }
 - capitalize Pointer Machine
+- define \alpha(m,n) and use it instead of \alpha(n)
 
 Varia: