diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/PG-adapting.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 12087979..67744b0a 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -176,6 +176,7 @@ Proof General. * Demonstration Instantiations:: * Function Index:: * Variable Index:: +* Keystroke Index:: * Concept Index:: @end menu @end ifinfo @@ -563,6 +564,11 @@ But in case it is hard to map some of the generic buttons onto functions in particular provers, and to allow extra buttons, there is a mechanism for adjustment. +I used The Gimp to create the buttons for Proof General. The +development distribution includes a button blank and some notes in +@file{etc/notes.txt} about making new buttons. + + @c TEXI DOCSTRING MAGIC: proof-toolbar-entries-default @defvar proof-toolbar-entries-default Example value for proof-toolbar-entries. Also used to define Scripting menu.@* |