source: Deliverables/D4.1/MatitaPretty.mli @ 491

Last change on this file since 491 was 339, checked in by sacerdot, 10 years ago

New: pretty printer from HEX files to .ma files.
File size: 66 bytes
Line 
1val pp_matita_instruction: [< ASM.labelled_instruction] -> string
Note: See TracBrowser for help on using the repository browser.