mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
to eliminate all redundant names resulting from redundant labels. Changed the behavior of "goto" so that it will find local names with slashes, which are the result of using "flatten". A hierarchical search is done first, as before, but on failure to find a subcell component, the local cell is searched for the verbatim name.