Changeset 2660


Ignore:
Timestamp:
Feb 12, 2013, 3:06:22 AM (6 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2659 r2660  
    2020RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo
    2121
    22 ASM/AssemblyProofSplit.ma         ???
     22ASM/AssemblyProofSplit.ma         working, just veeery slow
    2323 ASM/AssemblyProofSplitSplit.ma
    2424
Note: See TracChangeset for help on using the changeset viewer.