4 Commits

Author	SHA1	Message	Date
Keith Winstein	2ce73ca1d5	Action names	2011-01-10 00:24:25 -05:00
Keith Winstein	f2ceffc5d9	Fill in state table	2011-01-09 03:38:17 -05:00
Keith Winstein	b38d1280c1	Beginning of transition rules	2010-12-28 22:42:13 -05:00
Keith Winstein	52f527891c	Initial commit	2010-12-28 18:05:50 -05:00