Changeset 192 for C-semantics


Ignore:
Timestamp:
Oct 18, 2010, 12:15:09 PM (10 years ago)
Author:
campbell
Message:

matita rev in README

File:
1 edited

Legend:

Unmodified
Added
Removed

  • C-semantics/README

    r181 r192  
    22=================================================
    33
    4 Last seen working with matita svn r10960 with 10957 reverted.
     4Last seen working with matita svn r10998.
    55
    66- Most of the memory model has been ported (common/Mem.v -> Mem.ma).
Note: See TracChangeset for help on using the changeset viewer.