Ignore:
Timestamp:
Feb 18, 2011, 1:30:39 PM (9 years ago)
Author:
ricciott
Message:

Added round-trip tests.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Makefile

    r426 r573  
    11all:
    2         ocamlbuild -cflags "-w Ae" Test.native ToMatita.native
     2        ocamlbuild -cflags "-w Ae" Test.native Test2.native ToMatita.native
    33
    44.PHONY: all
Note: See TracChangeset for help on using the changeset viewer.