blob: 7e08c65878957660921f4a09b5ee78e8717ea072 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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.
-----------------------------------------------------------------
|