Revision: 2581
http://eulergui.svn.sourceforge.net/eulergui/?rev=2581&view=rev
Author: jmvanel
Date: 2011-08-14 22:09:25 +0000 (Sun, 14 Aug 2011)
Log Message:
-----------
proofVerbalization example ( strings output example ):
- order of output substrings OK
Modified Paths:
--------------
trunk/eulergui/examples/proofVerbalization.n3
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
