lib/Tools/emacs
Fri, 27 Jun 2014 15:41:26 +0200 wenzelm Proof General legacy;
Tue, 05 Jan 2010 16:55:00 +0100 wenzelm recovered legacy settings for Proof General 3.x;
Sat, 20 Dec 2008 11:39:27 +0100 wenzelm removed Ids;
Mon, 06 Oct 2008 22:35:03 +0200 wenzelm extra check of PROOFGENERAL_HOME;
Tue, 16 Sep 2008 17:18:41 +0200 wenzelm Proof General / Emacs interface wrapper;
less more (0) tip