- Started implemented the generic visualisation infrastructure.
authorMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 23:43:58 +0000 (00:43 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 23:43:58 +0000 (00:43 +0100)
commit9da6f8f3b2303b7d8520e97285929a673f97f18b
treee32df70fa41765e784aac14504a47cf10d7f026d
parent88b14f81790c82ffa054ea737211a2c282c6fc36
- Started implemented the generic visualisation infrastructure.
18 files changed:
devel/Diabelli/src/diabelli/Diabelli.java
devel/Diabelli/src/diabelli/FormulaFormatManager.java
devel/Diabelli/src/diabelli/PresentationManager.java [new file with mode: 0644]
devel/Diabelli/src/diabelli/components/FormulaFormatsProvider.java
devel/Diabelli/src/diabelli/components/FormulaPresenter.java [new file with mode: 0644]
devel/Diabelli/src/diabelli/components/GoalPresenter.java [deleted file]
devel/Diabelli/src/diabelli/components/util/BareFormulaPresenter.java [new file with mode: 0644]
devel/Diabelli/src/diabelli/implementation/FormulaFormatManagerImpl.java
devel/Diabelli/src/diabelli/logic/Formula.java
devel/Diabelli/src/diabelli/logic/FormulaFormat.java
devel/Diabelli/src/diabelli/logic/FormulaFormatDescriptor.java
devel/Diabelli/src/diabelli/logic/FormulaRepresentation.java
devel/Diabelli/src/diabelli/logic/FormulaTranslator.java
devel/Diabelli/src/diabelli/ui/CurrentFormulaTopComponent.form
devel/Diabelli/src/diabelli/ui/CurrentFormulaTopComponent.java
devel/DiabelliIsabelle/src/diabelli/isabelle/IsabelleDriver.java
devel/SpeedithDiabelli/src/speedith/diabelli/SpeedithDriver.java
devel/SpeedithDiabelli/src/speedith/diabelli/logic/IsabelleToSpidersTranslator.java