[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] PVS bugs 968, 948, and 978
Sam Owre <firstname.lastname@example.org> wrote:
> I added the code to the bug reports for 968 and 978, and I'm including it
> below. Let me know how it works for you.
Thanks, Sam. Those bugs were ... well, bugging me. :-) I'll let you
know if I encounter any further problems.
Jerry James, Assistant Professor Jerry.James@usu.edu
Computer Science Department http://www.cs.usu.edu/~jerry/
Utah State University