Eduardo Cavazos f4388ec147 automata.ui: use 'grid-add*'		2008-07-18 18:54:32 -05:00
..
ui	automata.ui: use 'grid-add*'	2008-07-18 18:54:32 -05:00
authors.txt	Initial import	2007-09-20 18:09:08 -04:00
automata.factor	automata: no need for >array when using <clumps>	2008-07-12 15:53:20 -05:00
summary.txt	Initial import	2007-09-20 18:09:08 -04:00
tags.txt	Initial import	2007-09-20 18:09:08 -04:00