The current development release takes advantage of the new fancy features available in GNU Emacs 21, to add toolbar support and other features there. As usual, maintaining the code to work with both Emacs versions is quite troublesome, so bug reports and patches from users are very welcome.
Proof General 3.3 is released, with to increase your proof script editing efficiency. Happy proving!