From: <jm...@us...> - 2013-03-27 08:58:14
|
Revision: 3487 http://sourceforge.net/p/eulergui/code/3487 Author: jmvanel Date: 2013-03-27 08:58:09 +0000 (Wed, 27 Mar 2013) Log Message: ----------- Now Euler / Eye can be stopped by clicking "Cancel" ( had to paste and modify code from Euler ProofEngine ) Modified Paths: -------------- trunk/eulergui/src/main/java/eulergui/inference/yap/YapInferenceEngine.java trunk/eulergui/src/main/java/n3_project/helpers/EyeHelper.java trunk/eulergui/src/main/scala/eulergui/gui/inference/InferenceProgressFrame.scala trunk/eulergui/src/main/scala/eulergui/gui/inference/InferenceSwingWorker.scala This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |