Differences

This shows you the differences between two versions of the page.

--- jpf:start [2007/11/29 16:16] – franck
+++ jpf:start [2008/01/21 20:37] (current) – franck
@@ Line 7: / Line 7: @@
 [[http://www.cse.yorku.ca/~sergey/jpf/|here]].
-If you use jpf, you run an older version of jpf.
+Although it describes an old version of JPF,
-To run the latest version of jpf, use
+[[http://www.havelund.com/Publications/jpf-manual.ps|this]]
-/cs/fac/packages/newjavapathfinder/bin/jpf
+manual may be useful.
 To configure JPF, you may want to use a