Ignore:
Timestamp:
Dec 15, 2010, 6:38:59 PM (9 years ago)
Author:
mulligan
Message:
  • README updated
  • Test and DoTest? fixed to work on assembly_program
  • assembly function for labelled programs avoided because of efficiency issues
File:
1 edited

Legend:

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

    r420 r431  
    99DoTest.ma Assembly.ma Interpret.ma Test.ma
    1010ASM.ma BitVector.ma Either.ma String.ma
    11 Map.ma Compare.ma Maybe.ma Universes.ma
    1211Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1312Char.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.