Index: trunk/doc/detour/2_topo.html
===================================================================
--- trunk/doc/detour/2_topo.html (revision 903)
+++ trunk/doc/detour/2_topo.html (revision 904)
@@ -155,9 +155,9 @@
when considering a new state, if a two-net introduces a new conflict with another
two-net which it already had a conflict with in any parent state,
check if the same object in the other two-net is affected as in the
- parent state; if so, this is likely an oscillation (TODO:
- draw an ex_ for this and link it from here!); this state is invalid
- and should be discarded
+ parent state; if so, this is likely an oscillation (see section 4.1.7);
+ this state is invalid and should be discarded
always choose the first conflict on a two-net to resolve, since this
- may resolve further conflicts automatically; see section 4.1.2.
+ may resolve further conflicts automatically (see section 4.1.2) plus
+ keeps the decision tree smaller, removing redundant options.