From f676e3a9da10dd69c96ffbb30f4aa8e6e1f66451 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 19:38:51 +0000
Subject: Formatting

---
 README.windows | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/README.windows b/README.windows
index 7722b8df..751de198 100644
--- a/README.windows
+++ b/README.windows
@@ -1,6 +1,9 @@
 
-ProofGeneral now works under Windows with the following restrictions:
+Proof General now works under Windows with the following restrictions:
 
 - Only tested with PhoX mode.
-- Only tested with XEmacs for win32 version 21.1.9 and 21.4.3 (not tested with XEmacs cygwin or any other version)
+
+- Only tested with XEmacs for win32 version 21.1.9 and 21.4.3 (not
+  tested with XEmacs cygwin or any other version)
+
 - Toolbar: enablers do not work so the buttons are always active
-- 
cgit v1.2.3