[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=548607





--- Comment #18 from David A. Wheeler <dwheeler at dwheeler.com>  2009-12-24 22:24:42 EDT ---
I've been hunting for other reports about problems with sit-for.  You may have
seen all this, but perhaps I've found something you haven't seen.

Anyway, I found this PVS bug report:
  http://pvs.csl.sri.com/cgi-bin/pvs-bug?id=440
And maybe this is useful too:
  http://emacs-w3m.namazu.org/ml/msg09645.html

Good luck, and Merry Christmas!

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.