Ignore:
Timestamp:
Feb 22, 2013, 7:23:24 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/BACKEND_BROKEN_FILES

    r2710 r2711  
    1111RTL/RTL_semantics.ma:             parametri
    1212
    13 ASM/CostsProof.ma:                nuove istruzioni
    1413ASM/PolicyFront.ma:               nuove istruzioni
    1514  ASM/PolicyStep.ma:              nuove istruzioni
Note: See TracChangeset for help on using the changeset viewer.