| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Jul 18 20:53:37 EDT 2007 |
|
At Wed, 18 Jul 2007 18:50:54 -0600, Matthew Flatt wrote: > One more note on the last point in my message: Oops --- ignore that. The message doesn't make sense, because I didn't mean to send it here. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}