[Javapathfinder-user] What will be a good point to start

[Arnab D. <ar...@cs...>]

Hi,
I'm trying to develop a tool using JPF and for this, I need a stable but
recent version of the JPF source code. As lots of developments are going on
in JPF, I'm not sure whether the latest checkout from SVN is stable enough!
Could you please tell me how to get a clean and stable version of the code?
A slightly outdated version will do, but I do not want to used the 2005
version that is given in the download page.

Thanks and regards,
Arnab.

-- 
Arnab De
-----------------------------------------------------------
Graduate Student.
Computer Science and Automation Department,
Indian Institute of Science, Bangalore.
http://people.csa.iisc.ernet.in/arnabde
-----------------------------------------------------------