User Tools

Site Tools


jpf:start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
jpf:start [2007/11/30 15:42] franckjpf:start [2008/01/21 20:37] (current) franck
Line 10: Line 10:
 [[http://www.havelund.com/Publications/jpf-manual.ps|this]] [[http://www.havelund.com/Publications/jpf-manual.ps|this]]
 manual may be useful. manual may be useful.
- 
-If you use jpf, you run an older version of jpf. 
-To run the latest version of jpf, use 
-/cs/fac/packages/newjavapathfinder/bin/jpf 
  
 To configure JPF, you may want to use a  To configure JPF, you may want to use a 
jpf/start.1196437322.txt.gz · Last modified: 2007/11/30 15:42 by franck

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki