Renamed file

2 files changed, 36 insertions, 15 deletions

diff --git a/etc/notes.txt b/etc/notes.txt
deleted file mode 100644
index 7e08c658..00000000
--- a/etc/notes.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-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
diff --git a/etc/screenshot-notes.txt b/etc/screenshot-notes.txt
new file mode 100644
index 00000000..c46552d8
--- /dev/null
+++ b/etc/screenshot-notes.txt
@@ -0,0 +1,36 @@
+Screenshot notes.
+=================
+
+All in 80x40 sized XEmacs.  
+
+* Isabelle: Daghstul HOLCF example.  Show theory file on screen too.
+
+* Isar: Example Group.thy is modified version with extra X-Symbol line:
+
+syntax (xsymbols)
+  "op *"      :: "['a::times, 'a] => 'a"          (infixl "\\<bullet>" 70);
+
+And uses of * replaced with \\<bullet>.
+
+* Coq: Example from Sorting library.  Multiple frame mode, X-Symbols,
+also with Netscape.  
+
+Most shots scaled to 0.2 or thereabouts to give nice sized thumbnail.
+
+
+
+
+
+
+-----------------------------------------------------------------
+
+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