From: <jm...@us...> - 2011-08-14 19:45:27
|
Revision: 2580 http://eulergui.svn.sourceforge.net/eulergui/?rev=2580&view=rev Author: jmvanel Date: 2011-08-14 19:45:20 +0000 (Sun, 14 Aug 2011) Log Message: ----------- proofVerbalization example ( strings output example ): following new Euler argument --strings , update the example; TODO control order of log:outputString triples Modified Paths: -------------- trunk/eulergui/examples/proofVerbalization.n3 trunk/eulergui/examples/proofVerbalization2.n3p This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |