lib/Tools/emacs
Tue, 05 Jan 2010 16:55:00 +0100 wenzelm recovered legacy settings for Proof General 3.x;
less more (0) -1 tip