source: Deliverables/D4.1/ToMatita.ml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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.