- Migrated Diabelli to Java 7.
authorMatej Urbas <matej.urbas@gmail.com>
Tue, 24 Apr 2012 10:13:33 +0000 (11:13 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Tue, 24 Apr 2012 10:13:33 +0000 (11:13 +0100)
commitd4094843a6cba703073ab7dfa90610f9499e5b57
tree576f29f204273b24c728f59d7780b225b030c7cf
parent3e780a9dedc26a39e33c5ae1472570be1c0df26c
- Migrated Diabelli to Java 7.
devel/DiabelliIsabelle/nbproject/project.properties
devel/DiabelliIsabelle/src/diabelli/isabelle/IsabelleDriver.java
devel/DiabelliIsabelle/src/diabelli/isabelle/terms/TermsToDiabelli.java
devel/SpeedithDiabelli/nbproject/project.properties
devel/SpeedithDiabelli/src/speedith/diabelli/SpeedithDriver.java
devel/SpeedithDiabelli/src/speedith/diabelli/logic/IsabelleToSpidersTranslator.java