Changeset 739


Ignore:
Timestamp:
Apr 4, 2011, 5:16:03 PM (9 years ago)
Author:
campbell
Message:

Note on identifiers in CHANGES.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/CHANGES

    r730 r739  
    3131  Dependent types are used to fix the number of arguments for addressing modes
    3232  in RTLabs.
     33
     3404/04/2011:
     35  common/Identifiers.ma provides identifiers similar to atomSig in the
     36  prototype, except that we use the universe's name as a tag for the type of
     37  identifiers to provide some extra type safety.
Note: See TracChangeset for help on using the changeset viewer.