Ignore:
Timestamp:
Dec 1, 2010, 6:49:36 PM (9 years ago)
Author:
mulligan
Message:

Everything compiles. Doesn't jump correctly still.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/depends

    r352 r354  
    1111Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1212Char.ma Universes.ma
    13 Test.ma Assembly.ma Interpret.ma
     13Test.ma Assembly.ma
    1414Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
    1515Connectives.ma Plogic/equality.ma
Note: See TracChangeset for help on using the changeset viewer.