diff options
| -rw-r--r-- | etc/notes.txt | 15 |
1 files changed, 15 insertions, 0 deletions
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 |