- Added support for fully generalised spider habitat specification.
authorMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 12:01:09 +0000 (13:01 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 12:01:09 +0000 (13:01 +0100)
commit3877f66ec835dfe305750c79b4d9b5f7801fc6a5
tree17306d760193b05d7a0eae5ba34afed78b354d8e
parentc539db9fe4d8eda34308b6b8356ef8262d3db4de
- Added support for fully generalised spider habitat specification.
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala