- Moved the Diabelli drivers for Speedith, Isabelle, and Hyperblocks to another repos...
authorMatej Urbas <matej.urbas@gmail.com>
Tue, 24 Apr 2012 23:28:17 +0000 (00:28 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Tue, 24 Apr 2012 23:28:17 +0000 (00:28 +0100)
commitc0bb025c04fe00cf84ae015e8410cbb6292ba12a
tree70b9f52e450d189fcec57c1f819200601069aafc
parentf00788c4bd12d1a8b72c5f45265ddc89ea7df965
- Moved the Diabelli drivers for Speedith, Isabelle, and Hyperblocks to another repository (at `https://github.com/urbas/diabelli`).
69 files changed:
devel/DiabelliIsabelle/build.xml [deleted file]
devel/DiabelliIsabelle/manifest.mf [deleted file]
devel/DiabelliIsabelle/nbproject/build-impl.xml [deleted file]
devel/DiabelliIsabelle/nbproject/genfiles.properties [deleted file]
devel/DiabelliIsabelle/nbproject/platform.properties [deleted file]
devel/DiabelliIsabelle/nbproject/project.properties [deleted file]
devel/DiabelliIsabelle/nbproject/project.xml [deleted file]
devel/DiabelliIsabelle/nbproject/suite.properties [deleted file]
devel/DiabelliIsabelle/src/diabelli/isabelle/Bundle.properties [deleted file]
devel/DiabelliIsabelle/src/diabelli/isabelle/IsabelleDriver.java [deleted file]
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermFormatDescriptor.java [deleted file]
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermGoal.java [deleted file]
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermsToDiabelli.java [deleted file]
devel/DiabelliIsabelle/test/unit/src/diabelli/isabelle/terms/TermsToDiabelliTest.java [deleted file]
devel/HyperblocksDiabelli/build.xml [deleted file]
devel/HyperblocksDiabelli/manifest.mf [deleted file]
devel/HyperblocksDiabelli/nbproject/build-impl.xml [deleted file]
devel/HyperblocksDiabelli/nbproject/genfiles.properties [deleted file]
devel/HyperblocksDiabelli/nbproject/project.properties [deleted file]
devel/HyperblocksDiabelli/nbproject/project.xml [deleted file]
devel/HyperblocksDiabelli/src/diabelli/hyperblocks/Bundle.properties [deleted file]
devel/HyperblocksDiabelli/src/diabelli/hyperblocks/HyperblocksDriver.java [deleted file]
devel/HyperblocksDiabelli/src/diabelli/hyperblocks/ui/Bundle.properties [deleted file]
devel/HyperblocksDiabelli/src/diabelli/hyperblocks/ui/HyperblocksTestFrame.form [deleted file]
devel/HyperblocksDiabelli/src/diabelli/hyperblocks/ui/HyperblocksTestFrame.java [deleted file]
devel/HyperblocksDiabelli/src/diabelli/hyperblocks/ui/HyperblocksTopComponent.form [deleted file]
devel/HyperblocksDiabelli/src/diabelli/hyperblocks/ui/HyperblocksTopComponent.java [deleted file]
devel/IsabelleScalaWrapper/.classpath [deleted file]
devel/IsabelleScalaWrapper/.gitignore [deleted file]
devel/IsabelleScalaWrapper/.project [deleted file]
devel/IsabelleScalaWrapper/.settings/org.eclipse.jdt.core.prefs [deleted file]
devel/IsabelleScalaWrapper/.settings/org.scala-ide.sdt.core.prefs [deleted file]
devel/IsabelleScalaWrapper/JarExportDescriptor.jardesc [deleted file]
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermUtils.scala [deleted file]
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermYXML.scala [deleted file]
devel/SpeedithDiabelli/build.xml [deleted file]
devel/SpeedithDiabelli/manifest.mf [deleted file]
devel/SpeedithDiabelli/nbproject/build-impl.xml [deleted file]
devel/SpeedithDiabelli/nbproject/genfiles.properties [deleted file]
devel/SpeedithDiabelli/nbproject/platform.properties [deleted file]
devel/SpeedithDiabelli/nbproject/project.properties [deleted file]
devel/SpeedithDiabelli/nbproject/project.xml [deleted file]
devel/SpeedithDiabelli/nbproject/suite.properties [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/Bundle.properties [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/SpeedithDriver.java [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/layer.xml [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/logic/IsabelleToSpidersTranslator.java [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/logic/SpeedithFormatDescriptor.java [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/ui/Bundle.properties [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/ui/SpeedithIconVennDiagram-16.png [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/ui/SpeedithTopComponent.form [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/ui/SpeedithTopComponent.java [deleted file]
devel/SpeedithDiabelli/src/speedith/diabelli/ui/Translations.java [deleted file]
devel/SpeedithIsabelle/.classpath [deleted file]
devel/SpeedithIsabelle/.project [deleted file]
devel/SpeedithIsabelle/.settings/org.eclipse.jdt.core.prefs [deleted file]
devel/SpeedithIsabelle/.settings/org.scala-ide.sdt.core.prefs [deleted file]
devel/SpeedithIsabelle/SpeedithIsabelle.jardesc [deleted file]
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/NormalForms.scala [deleted file]
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala [deleted file]
devel/SpeedithLibraries/build.xml [deleted file]
devel/SpeedithLibraries/manifest.mf [deleted file]
devel/SpeedithLibraries/nbproject/build-impl.xml [deleted file]
devel/SpeedithLibraries/nbproject/genfiles.properties [deleted file]
devel/SpeedithLibraries/nbproject/platform.properties [deleted file]
devel/SpeedithLibraries/nbproject/project.properties [deleted file]
devel/SpeedithLibraries/nbproject/project.xml [deleted file]
devel/SpeedithLibraries/nbproject/suite.properties [deleted file]
devel/SpeedithLibraries/src/speedith/diabelli/libraries/Bundle.properties [deleted file]