Menu

#5 Skein auto-pruning

open
nobody
Code (5)
5
2007-10-21
2007-10-21
Jan Ploski
No

Implement automatically pruning unused (?) skein paths, as it is done in the default Inform 7 IDE. Also implement locking of nodes to prevent such automatic pruning.

Discussion