# HG changeset patch
# User wenzelm
# Date 1378498046 -7200
# Node ID 3d8dfddefe841d965cf1c72f5e1ab01767879ad2
# Parent  4adb2cce5fc64da1fb7472df1e9a3b5af0b79b63
more Proof General legacy;

diff -r 4adb2cce5fc6 -r 3d8dfddefe84 src/Pure/Tools/keywords.scala
--- a/src/Pure/Tools/keywords.scala	Fri Sep 06 21:28:07 2013 +0200
+++ b/src/Pure/Tools/keywords.scala	Fri Sep 06 22:07:26 2013 +0200
@@ -4,6 +4,8 @@
 Generate keyword files for Emacs Proof General.
 */
 
+/*Proof General legacy*/
+
 package isabelle