source: Deliverables/D4.1/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @429   10 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
(edit) @428   10 years mulligan Changed instr. to labelled_instr.
(edit) @427   10 years mulligan Removed from ToMatita?
(copy) @426   10 years mulligan Changes to ocaml code and makefile.
copied from Deliverables/D4.1/
(add) @339   10 years sacerdot New: pretty printer from HEX files to .ma files.
Note: See TracRevisionLog for help on using the revision log.