source: Deliverables/D4.1/Matita/depends @ 431

Last change on this file since 431 was 431, checked in by mulligan, 10 years ago
  • README updated
  • Test and DoTest? fixed to work on assembly_program
  • assembly function for labelled programs avoided because of efficiency issues
File size: 809 bytes
Line Plogic/ Plogic/
Note: See TracBrowser for help on using the repository browser.