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

Last change on this file since 796 was 339, checked in by sacerdot, 9 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.