From 071af013a6c85d78b5c89ce55afb690b250aa4e6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 Nov 1999 17:22:31 +0000
Subject: Note about dumb tty

---
 html/screenshot.phtml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/html/screenshot.phtml b/html/screenshot.phtml
index 48d1d8a1..1aae4018 100644
--- a/html/screenshot.phtml
+++ b/html/screenshot.phtml
@@ -97,6 +97,10 @@ developed by Markus Wenzel.
 <td>
 <p>
 LEGO Proof General running in plain console mode.
+<br>
+This shows that you can run Proof General even if sometimes
+you need to use a plain tty or xterminal.   Of course, the
+graphical features are reduced!
 </p>
 </tr>
 </table>
-- 
cgit v1.2.3