I use proof general(which also supports Isabelle), but I'm aware that there are in fact some people in the world who have not seen the light of St. Ignucius, and for those I'm sure this is plenty cool.

Good job. :)