diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:40:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:40:32 +0000 |
| commit | adef137ed74f4dd5577a32def2c9492496b0dffc (patch) | |
| tree | 60088ab3ed4364298a7c23c4afa948bbd10a0e7b /images | |
| parent | aa0f7e754ef127564062b5fb48b9f6c9be5957ad (diff) | |
Being pedantic about variables versus predicates, renamed prog-name-ask-p.
Diffstat (limited to 'images')
| -rw-r--r-- | images/notes.txt | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/images/notes.txt b/images/notes.txt index f06be35e..c58eafc3 100644 --- a/images/notes.txt +++ b/images/notes.txt @@ -33,10 +33,15 @@ script fu -> logos -> comic book Then I filled background with web page colour, and shaded portion with green colour. - + +---- +Proof general logo: +Saved as eps for texi documentation. - - - + Width 3.00 " + Height 7.87 (keep aspect ration checked, height not edited though) + X-offset 2.8 " + Y-offset 1.0 " + Rotation: 0 |