| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Thu Jun 7 00:43:31 EDT 2007 |
|
Yuck. I believe I've fixed the problem; please visit http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/ the new version there should do the trick. Please let me know if it doesn't. Shriram
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}