source: driver/printer.mli

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2993   9 years sacerdot 1. performance improved: the type inference was inferring …
(copy) @2901   9 years sacerdot 1. backendPrinter renamed to printer 2. Clight printing branched into …
copied from driver/backendPrinter.mli:
(edit) @2860   9 years sacerdot RTL printing, core dumps ATM
Note: See TracRevisionLog for help on using the revision log.