It appears that my license for JPF does not permit use by third parties. Which, I believe, means I can't release it to the class. So we'll learn SPIN, and cover the "inline C" parts of the new spin. I'll demo JPF in class and we can discuss it, but I can't just dump it into the open labs for free use.
Posted by jones at November 26, 2003 12:54 PM