Changeset 2658 for src


Ignore:
Timestamp:
Feb 12, 2013, 2:43:21 AM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2656 r2658  
    2121RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo
    2222
    23 ASM/AssemblyProofSplit.ma
     23ASM/AssemblyProofSplit.ma         ???
    2424 ASM/AssemblyProofSplitSplit.ma
    25 ASM/CostProofs.ma                 mancano tailcall
    2625
    2726========================================================
Note: See TracChangeset for help on using the changeset viewer.