source: src/ERTL/ERTLToERLptr.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(copy) @2695   8 years sacerdot Renamed again.
copied from src/ERTL/ERTLtoERTLptr.ma:
(copy) @2691   8 years sacerdot ERTLtoERTLptr* moved to the proper place
Note: See TracRevisionLog for help on using the revision log.