From 8ba4842e8446fe395ec904291108bbd00ae37daf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Oct 1998 10:39:21 +0000
Subject: Miscellaneous notes (how to create screen dump)

---
 etc/notes.txt | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 etc/notes.txt

diff --git a/etc/notes.txt b/etc/notes.txt
new file mode 100644
index 00000000..7e08c658
--- /dev/null
+++ b/etc/notes.txt
@@ -0,0 +1,15 @@
+Misc notes.
+==========
+
+-----------------------------------------------------------------
+
+Regenerating screen shot in html/IsaPGscreen.jpg:
+
+ 30x80 sized XEmacs.  Visit isa/example.ML.
+ Click on "next" button four times. 
+ Drag middle modeline to display whole proof script.
+ Move point to end of locked region.
+ Grab with gimp, Xtns -> Screen Shot.
+ Save with default quality settings.
+
+-----------------------------------------------------------------
\ No newline at end of file
-- 
cgit v1.2.3