ATP 9.6

ATP 9.6 is out.
+ The commands :Dsearch, :LocalCommands, :BibSearch, and \cite{ completion, are
rewritten in python! => they are very fast !!!
+ <F2> functionality with special space map _s+ is back, but better !!!
+ Some bug fixes: ATP loads much faster now.

Posted by Marcin Szamotulski 2011-06-05