[Eulergui-commits] SF.net SVN: eulergui:[1819] trunk/eulergui/html/documentation.html

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

Revision: 1819
          http://eulergui.svn.sourceforge.net/eulergui/?rev=1819&view=rev
Author:   jmvanel
Date:     2010-09-18 17:50:30 +0000 (Sat, 18 Sep 2010)

Log Message:
-----------
documentation.html : on Linux or Windows, Euler proof engine now includes Yap Prolog engine

Modified Paths:
--------------
    trunk/eulergui/html/documentation.html


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