projects / speedith:speedith.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86b626a) | patch
- Started with the implementation of the translation from Isabelle terms
authorMatej Urbas <matej.urbas@gmail.com>
Tue, 17 Apr 2012 22:46:53 +0000 (23:46 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Tue, 17 Apr 2012 22:46:53 +0000 (23:46 +0100)
commita9e57c541e3032dac8a610ecb7d74a6d1c5fed96
tree9f89eb6d8cebbf5961dcea7f98008794291fb703tree | snapshot
parent86b626a75cb95495c7076cfed5649657f90643aacommit | diff
- Started with the implementation of the translation from Isabelle terms
to spider diagrams.
README.html diff | blob | history
devel/IsabelleScalaWrapper/.gitignore [new file with mode: 0644] blob
devel/SpeedithIsabelle/.classpath [new file with mode: 0644] blob
devel/SpeedithIsabelle/.project [new file with mode: 0644] blob
devel/SpeedithIsabelle/.settings/org.eclipse.jdt.core.prefs [new file with mode: 0644] blob
devel/SpeedithIsabelle/.settings/org.scala-ide.sdt.core.prefs [new file with mode: 0644] blob
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala [new file with mode: 0644] blob
devel/Theories/Diabelli/HeterogeneousStatements.thy diff | blob | history
docs/README diff | blob | history
092631ea2561b8ea71cd7d0e938c8334ec