luke
/
magic
mirror of https://github.com/RTimothyEdwards/magic.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
magic/VERSION

2 lines
8 B
Plaintext
Raw Permalink Normal View History

Modified the generation of "equiv" statements in "extract" some more, 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.
2021-10-08 16:58:10 +02:00
8.3.217