← Back to team overview

dolfin team mailing list archive

Changed name of manual, testing new CVS repository.

 

Commit from logg (2004-09-10 17:00 CEST)
----------------

Changed name of manual, testing new CVS repository.

+ dolfin  doc/user_manual/pdf/dolfin-user-manual.pdf  1.1
- dolfin  doc/user_manual/pdf/dolfin_manual.pdf       1.5
+ dolfin  doc/user_manual/ps/dolfin-user-manual.ps    1.1
- dolfin  doc/user_manual/ps/dolfin_manual.ps         1.5
+ dolfin  doc/user_manual/tex/dolfin-user-manual.tex  1.1
- dolfin  doc/user_manual/tex/dolfin_manual.tex       1.5