source: Deliverables/D4.1/ToMatita.ml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @430   10 years mulligan - ToMatita? now generates a list of labelled_instructions (used to be a …
(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 interpret.ma from ToMatita?
(copy) @426   10 years mulligan Changes to ocaml code and makefile.
copied from Deliverables/D4.1/to_matita.ml:
(add) @339   10 years sacerdot New: pretty printer from HEX files to .ma files.
Note: See TracRevisionLog for help on using the revision log.