- Moved the Diabelli project to a separate repository at "https://github.com/urbas...
authorMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 09:50:15 +0000 (10:50 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Mon, 23 Apr 2012 09:50:15 +0000 (10:50 +0100)
commit651595656705c0cc1db77d247bf1f3f6699f91a3
treed0583a6b19c587041915f60bb0afe347faf7e59a
parentc4385e22829537e9545fdd54978900986f0bd0e2
- Moved the Diabelli project to a separate repository at "https://github.com/urbas/diabelli".
46 files changed:
devel/Diabelli/build.xml [deleted file]
devel/Diabelli/manifest.mf [deleted file]
devel/Diabelli/nbproject/build-impl.xml [deleted file]
devel/Diabelli/nbproject/genfiles.properties [deleted file]
devel/Diabelli/nbproject/project.properties [deleted file]
devel/Diabelli/nbproject/project.xml [deleted file]
devel/Diabelli/nbproject/suite.properties [deleted file]
devel/Diabelli/src/diabelli/Bundle.properties [deleted file]
devel/Diabelli/src/diabelli/Diabelli.java [deleted file]
devel/Diabelli/src/diabelli/FormulaFormatManager.java [deleted file]
devel/Diabelli/src/diabelli/GoalsManager.java [deleted file]
devel/Diabelli/src/diabelli/PresentationManager.java [deleted file]
devel/Diabelli/src/diabelli/ReasonersManager.java [deleted file]
devel/Diabelli/src/diabelli/components/DiabelliComponent.java [deleted file]
devel/Diabelli/src/diabelli/components/FormulaFormatsProvider.java [deleted file]
devel/Diabelli/src/diabelli/components/FormulaPresenter.java [deleted file]
devel/Diabelli/src/diabelli/components/FormulaTranslationsProvider.java [deleted file]
devel/Diabelli/src/diabelli/components/GoalAcceptingReasoner.java [deleted file]
devel/Diabelli/src/diabelli/components/GoalProvidingReasoner.java [deleted file]
devel/Diabelli/src/diabelli/components/Reasoner.java [deleted file]
devel/Diabelli/src/diabelli/components/RuleApplicationReasoner.java [deleted file]
devel/Diabelli/src/diabelli/components/util/BareFormulaPresenter.java [deleted file]
devel/Diabelli/src/diabelli/components/util/BareGoalProvidingReasoner.java [deleted file]
devel/Diabelli/src/diabelli/implementation/DiabelliImpl.java [deleted file]
devel/Diabelli/src/diabelli/implementation/FormulaFormatManagerImpl.java [deleted file]
devel/Diabelli/src/diabelli/implementation/GoalsManagerImpl.java [deleted file]
devel/Diabelli/src/diabelli/implementation/ManagerInternals.java [deleted file]
devel/Diabelli/src/diabelli/implementation/ReasonersManagerImpl.java [deleted file]
devel/Diabelli/src/diabelli/logic/CarrierFormulaFormat.java [deleted file]
devel/Diabelli/src/diabelli/logic/Formula.java [deleted file]
devel/Diabelli/src/diabelli/logic/FormulaFormat.java [deleted file]
devel/Diabelli/src/diabelli/logic/FormulaFormatDescriptor.java [deleted file]
devel/Diabelli/src/diabelli/logic/FormulaRepresentation.java [deleted file]
devel/Diabelli/src/diabelli/logic/FormulaTranslator.java [deleted file]
devel/Diabelli/src/diabelli/logic/Goal.java [deleted file]
devel/Diabelli/src/diabelli/logic/Goals.java [deleted file]
devel/Diabelli/src/diabelli/logic/Placeholder.java [deleted file]
devel/Diabelli/src/diabelli/logic/TextEncodedFormulaFormat.java [deleted file]
devel/Diabelli/src/diabelli/logic/VariableReferencingFormulaFormat.java [deleted file]
devel/Diabelli/src/diabelli/ui/Bundle.properties [deleted file]
devel/Diabelli/src/diabelli/ui/CurrentFormulaTopComponent.form [deleted file]
devel/Diabelli/src/diabelli/ui/CurrentFormulaTopComponent.java [deleted file]
devel/Diabelli/src/diabelli/ui/GoalsTopComponent.form [deleted file]
devel/Diabelli/src/diabelli/ui/GoalsTopComponent.java [deleted file]
devel/Diabelli/src/diabelli/ui/ReasonersListTopComponent.form [deleted file]
devel/Diabelli/src/diabelli/ui/ReasonersListTopComponent.java [deleted file]