Size: 372
Comment: converted to 1.6 markup
|
Size: 381
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 3: | Line 3: |
Created by [[bigmap.e]] | Created by [[bigmap]] |
Line 7: | Line 7: |
This is useful when running proceedures, such as [[Iterate]] a bigmap. | This is useful when running proceedures, such as [[Standard_iteration]] a bigmap. |
USED_MAPS.TXT
Created by bigmap
A simple text file listing all of the maplets that were used by bigmap.e the last time it was run. This contains all the maplets that fall on or inside of the bigmap.
This is useful when running proceedures, such as Standard_iteration a bigmap.
T00144 T00145 T00146 T00160 T00161 T00162 T00163 END