From d6fba1f7a8811d92358898bc007c644cf2c72a57 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Aug 2009 16:53:17 +0000
Subject: Updated.

---
 etc/isar/BackslashInStrings.thy | 2 +-
 etc/profiling.txt               | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/etc/isar/BackslashInStrings.thy b/etc/isar/BackslashInStrings.thy
index b1f91803..2161ed8a 100644
--- a/etc/isar/BackslashInStrings.thy
+++ b/etc/isar/BackslashInStrings.thy
@@ -1,4 +1,4 @@
-theory BackslashInStrings = Main:
+theory BackslashInStrings imports Main begin
 
 consts test :: string
 
diff --git a/etc/profiling.txt b/etc/profiling.txt
index 8348c7ad..49b378ba 100644
--- a/etc/profiling.txt
+++ b/etc/profiling.txt
@@ -1,5 +1,5 @@
-Notes on Profiling Proof General in XEmacs  [da]
-------------------------------------------------
+Notes on Profiling Proof General in Emacs
+-----------------------------------------
 
 Usage of Elisp profiler:
 
-- 
cgit v1.2.3