src/Pure/ProofGeneral/proof_general_emacs.ML
Mon, 13 May 2013 22:00:19 +0200 wenzelm tuned signature;
Mon, 13 May 2013 20:15:06 +0200 wenzelm dummy PGIP id, which appears to be sufficient for PG/Emacs;
Sun, 12 May 2013 13:56:21 +0200 wenzelm removed obsolete test_markup;
less more (0) -100 -30 -10 -3 tip