Commit Graph

2 Commits

Author SHA1 Message Date
Hartmut Kaiser
575df4e144 Spirit: fixing more problems with using adapted ADTs in Kamra
[SVN r71305]
2011-04-16 02:10:11 +00:00
Hartmut Kaiser
a26c58c4ef Spirit: fixing/adding examples
[SVN r71269]
2011-04-15 11:19:43 +00:00