[Javapathfinder-devel] staying on top of JPF changes

[Peter M. <Pet...@na...>]

Please have a look at our blog on

    http://babelfish.arc.nasa.gov/trac/jpf/blog

to stay on top of JPF changes that might be of interest for you. The  
idea is that everybody who adds documentation or changes code that  
might be relevant to others posts a short note there

-- Peter