diagrams/diagrams-core — pull request #34 by byorgey (2013-02-11 05:30:14+00:00)
Title: make SubMaps deletable, and add a new function 'localize' for hiding/deleting names

This makes recursive constructions using names possible (i.e. using the same names at each level, then hiding them so they don't interfere with any of the levels above).