Thread:Ash9876/@comment-24401432-20131029101842/@comment-24401432-20131031145625

After next weeks, I might start working on Isabelle on FTF. But SNKF is priority though, just wanted to give ya some heads up. And, I might import Tahir's infobox over for Isabelle, editing the font too.