|
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.
|