- Very close to providing the first translation (from Isabelle terms to spider diagrams).
authorMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 12:51:54 +0000 (13:51 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 12:51:54 +0000 (13:51 +0100)
commit83a12eaaac4b7e0969e4db577bcf4db8ef2bfdaf
treeea09ab4e1ec22dd16d7a0cb8ab899510ac7503b5
parentd8b4cedc24949f9c1beac5d4c654e07a358f0f35
- Very close to providing the first translation (from Isabelle terms to spider diagrams).
devel/Diabelli/src/diabelli/implementation/DiabelliImpl.java
devel/Diabelli/src/diabelli/implementation/FormulaFormatManagerImpl.java
devel/Diabelli/src/diabelli/logic/FormulaFormatDescriptor.java
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermFormatDescriptor.java
devel/SpeedithDiabelli/nbproject/project.xml
devel/SpeedithDiabelli/src/speedith/diabelli/SpeedithDriver.java
devel/SpeedithDiabelli/src/speedith/diabelli/logic/IsabelleToSpidersTranslator.java [new file with mode: 0644]
devel/SpeedithDiabelli/src/speedith/diabelli/logic/SpeedithFormatDescriptor.java