projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aecce69) | patch
Fix the pretty printing of the attribute test.
authorKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 17:27:47 +0000 (18:27 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 17:27:47 +0000 (18:27 +0100)
commit54d24e939b72601a55832aa447ed31f1b256f02e
tree92c679932d02505dd45f6fe5e147a235b0a41083tree | snapshot
parentaecce690c554cbc0826e4ef6865384680fd4717acommit | diff
Fix the pretty printing of the attribute test.
src/auto/ata.ml diff | blob | history
Tree Automata TOOlkit