24 May
2002
24 May
'02
8:25 a.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini@cs.unipr.it 2002-05-24 10:25:49
Modified files: doc : purrs.tex
Log message: 1. Removed useless commands and bibliography, and slightly improved use of LaTeX features. 2. Added preliminary section on simplifications.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/purrs.tex.diff?cvsroot=p...