eulergui-commits

[Eulergui-commits] SF.net SVN: eulergui:[3574] trunk/eulergui/examples/falsehood2.n3

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

Revision: 3574
          http://sourceforge.net/p/eulergui/code/3574
Author:   jmvanel
Date:     2013-06-08 08:59:09 +0000 (Sat, 08 Jun 2013)
Log Message:
-----------
now examples/falsehood2.n3 ( modus tollens ) works

Modified Paths:
--------------
    trunk/eulergui/examples/falsehood2.n3

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

[Eulergui-commits] SF.net SVN: eulergui:[3575] trunk/eulergui/examples/falsehood2.n3

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

Revision: 3575
          http://sourceforge.net/p/eulergui/code/3575
Author:   jmvanel
Date:     2013-06-08 09:44:45 +0000 (Sat, 08 Jun 2013)
Log Message:
-----------
add one more test (failing in Euler) to falsehood2.n3

Modified Paths:
--------------
    trunk/eulergui/examples/falsehood2.n3

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