Changeset 475

Timestamp:
Jan 24, 2011, 10:47:38 AM (7 years ago)
Author:
mulligan
Message:

Matita interpreter ported to latest version of matita (the one with the tabs). To use, this directory must be copied into the /lib directory in the matita directory.

Location:
Deliverables/D4.1/Matita/new-matita-development
Files:
12 added

Note: See TracChangeset for help on using the changeset viewer.