diff options
| author | David Aspinall | 1998-10-20 10:39:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-20 10:39:21 +0000 |
| commit | 8ba4842e8446fe395ec904291108bbd00ae37daf (patch) | |
| tree | fba677c15784ccace9d3542a64bb41fcd409ae52 | |
| parent | 24d43a0992b25100a8ee23ded71e72dbfc9dc940 (diff) | |
Miscellaneous notes (how to create screen dump)
| -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 |