[Javapathfinder-svn] SF.net SVN: javapathfinder:[1088] trunk/extensions/symbc/launch

[<pc...@us...>]

Revision: 1088
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1088&view=rev
Author:   pcorina
Date:     2008-12-02 01:59:41 +0000 (Tue, 02 Dec 2008)

Log Message:
-----------
corrected again config jpf syntax

Modified Paths:
--------------
    trunk/extensions/symbc/launch/jpf se BSTDriver Abstraction.launch
    trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic Heuristic.launch
    trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic.launch
    trunk/extensions/symbc/launch/jpf se BankAccountDriver Symbolic.launch
    trunk/extensions/symbc/launch/jpf se StackDriver Abstraction.launch
    trunk/extensions/symbc/launch/jpf se StackDriver Symbolic.launch


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