| Wed, 29 Mar 2017 05:50:38 +0800 | Christian Urban | updated | file | diff | annotate |
| Tue, 21 Mar 2017 11:40:22 +0000 | Christian Urban | updated for extended partial derivatives | file | diff | annotate |
| Mon, 20 Mar 2017 15:13:17 +0000 | Christian Urban | added automata implementation | file | diff | annotate |