log

age author description
Thu, 24 Mar 2016 18:52:10 +0300 cin pretty print DFA, the minimization is still buggy ref20160224
Thu, 24 Mar 2016 03:54:46 +0300 cin minor fixes and debug ref20160224