From: <jm...@us...> - 2010-12-02 19:10:56
|
Revision: 1947 http://eulergui.svn.sourceforge.net/eulergui/?rev=1947&view=rev Author: jmvanel Date: 2010-12-02 19:10:50 +0000 (Thu, 02 Dec 2010) Log Message: ----------- 2 new tools in menu "tools" : show in N3 editor with pretty print the internal KB, and the user KB Modified Paths: -------------- trunk/eulergui/src/main/java/eulergui/tools/LaunchApplicationKBDump.java trunk/eulergui/src/main/java/eulergui/tools/LaunchWMDump.java trunk/eulergui/src/main/java/n3_project/EditorManagement.java trunk/eulergui/src/main/java/n3_project/ToolsManagement.java trunk/eulergui/src/main/java/n3_project/helpers/Triple.java trunk/eulergui/src/main/resources/eulergui.properties trunk/eulergui/src/main/resources/eulergui_fr.properties Added Paths: ----------- trunk/eulergui/src/main/java/eulergui/tools/LaunchApplicationKBN3Editor.java trunk/eulergui/src/main/java/eulergui/tools/LaunchUserWMN3Editor.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |