K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2020-07-09T18:10:32.049053Z
K 7
svn:log
V 109
math/ltl2ba: Update 1.2 -> 1.3

Take maintainership.

Also
* Simplify Makefile
* Update WWW and MASTER_SITES

END