Timestamp:
Nov 7, 2012, 6:02:50 PM (7 years ago)
Author:
garnier
Message:

Moved general stuff on memories from switchRemoval to MemProperties?, e.g. on loading, storing and free, as an
attempt to reduce the typechecking time of switchRemoval.ma.
Moved some other generic stuff on vectors from SimplifyCasts? to frontend_misc.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.