projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f8bc311 3a9b1a5)
Merge branch 'feature/attributes'
authorKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 09:23:36 +0000 (10:23 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 09:23:36 +0000 (10:23 +0100)
* feature/attributes:
  - Add a new test case.
  - Fix the handling of attributes.
  - Fix the pretty printing of the attribute test.
  - Add a test case for attribute handling.


Trivial merge
Tree Automata TOOlkit