source: driver/printer.ml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(copy) @2901   7 years sacerdot 1. backendPrinter renamed to printer 2. Clight printing branched into …
copied from driver/backendPrinter.ml:
(edit) @2875   7 years sacerdot Pretty printing of object code integrated too. A couple of axioms make …
Note: See TracRevisionLog for help on using the revision log.