| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Fri Feb 18 20:56:19 EST 2011 |
|
Sorry. I think we should remove the ".cls" files and say that users have to put them somewhere that Latex will find them (e.g., set `TEXINPUTS').
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}