Open GoogleCodeExporter opened 8 years ago
Hmmmm, I guess these are RAW references, and proveit does nt support them.
Original comment by bob...@gmail.com
on 31 Jan 2011 at 12:54
Original comment by matthew....@gatech.edu
on 1 Feb 2011 at 2:44
Original issue reported on code.google.com by
bob...@gmail.com
on 31 Jan 2011 at 12:49