Revision 707

[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