- Added some comments.
authorMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 11:35:11 +0000 (12:35 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Sun, 22 Apr 2012 11:35:11 +0000 (12:35 +0100)
commitc539db9fe4d8eda34308b6b8356ef8262d3db4de
tree59f6d511cc05627c44ef59a4b65dfcd974724687
parent04091fcb2f62b95899caa0743ee5b166cafaa9a0
- Added some comments.
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala