[Javapathfinder-svn] SF.net SVN: javapathfinder:[1881] branches/mango/Mango/doc

[<fra...@us...>]

Revision: 1881
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1881&view=rev
Author:   frankrimlinger
Date:     2009-08-31 19:57:10 +0000 (Mon, 31 Aug 2009)

Log Message:
-----------
Now begins the final leg of the journey, as outlined in the design rev.  Key design points are total automation modulo user help for translating and case filtering, jpf backtracking for case enumeration, jpf tracebacks for invariant factorization computation, automated target selection.

Modified Paths:
--------------
    branches/mango/Mango/doc/design.rtf

Added Paths:
-----------
    branches/mango/Mango/doc/design rev.rtf


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.