/[svn]
ViewVC logotype

Revision 707


Jump to revision: Previous Next
Author: abate
Date: Tue Jul 10 17:57:21 2007 UTC (5 years, 10 months ago)
Changed paths: 3
Log Message:
[r2003-10-07 21:53:15 by cvscast] Beppe: now --compile generates a .cdo rather than .cd.out file

Original author: cvscast
Date: 2003-10-07 21:53:15+00:00

Changed paths:

Path Details
DirectoryMakefile.distrib modified , text changed
Directorydriver/cduce.ml modified , text changed
Directorydriver/run.ml modified , text changed

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5