- Added the Diabelli drivers to the Diabelli System.
authorMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 11:15:55 +0000 (12:15 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 11:15:55 +0000 (12:15 +0100)
commite89ae79a59f972f9577903881044831568995b25
tree07d8d6bfd7093e0e27ef44fc8b84960ed1093233
parent651595656705c0cc1db77d247bf1f3f6699f91a3
- Added the Diabelli drivers to the Diabelli System.
12 files changed:
devel/DiabelliIsabelle/nbproject/platform.properties [new file with mode: 0644]
devel/DiabelliIsabelle/nbproject/suite.properties
devel/DiabelliIsabelle/src/diabelli/isabelle/IsabelleDriver.java
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermFormatDescriptor.java
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermGoal.java
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermsToDiabelli.java
devel/SpeedithDiabelli/nbproject/suite.properties
devel/SpeedithDiabelli/src/speedith/diabelli/SpeedithDriver.java
devel/SpeedithDiabelli/src/speedith/diabelli/logic/IsabelleToSpidersTranslator.java
devel/SpeedithDiabelli/src/speedith/diabelli/logic/SpeedithFormatDescriptor.java
devel/SpeedithLibraries/nbproject/platform.properties [new file with mode: 0644]
devel/SpeedithLibraries/nbproject/suite.properties