[Eulergui-commits] SF.net SVN: eulergui:[1727] trunk/eulergui/src/main/java/eulergui/project/ Project.java

[<jm...@us...>]

Revision: 1727
          http://eulergui.svn.sourceforge.net/eulergui/?rev=1727&view=rev
Author:   jmvanel
Date:     2010-07-09 15:41:49 +0000 (Fri, 09 Jul 2010)

Log Message:
-----------
Project: update to latest Euler API : euler.ProofEngine.runProofEngine();

Modified Paths:
--------------
    trunk/eulergui/src/main/java/eulergui/project/Project.java


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