Opened 16 years ago

Closed 16 years ago

#171 closed defect (fixed)

Documentation fix for Isabelle keybindings

Reported by: Mark A. Hillebrand Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-3.7
Component: 6:web-and-docs Keywords: isabelle documentation
Cc:

Description

Hi,

the attached patch fixes the documentation of the special Isabelle (2007) key bindings in doc/ProofGeneral.texi with respect to isar/isar.el.

The Proof General version against which the patch was made was

ProofGeneral-3.7pre080117.

Attachments (1)

ProofGeneral_isar_keybinding_docfix.texi.diff​ (2.1 KB) - added by Mark A. Hillebrand 16 years ago.

Download all attachments as: .zip

Change History (2)

Changed 16 years ago by Mark A. Hillebrand

Attachment: ProofGeneral_isar_keybinding_docfix.texi.diff​ added

comment:1 Changed 16 years ago by Proof General Developer

Resolution: → fixed
Status: new → closed

Applied now to CVS. Many thanks for taking the trouble to upload this.

I've also added a keybinding short cut for "ML {* *}" as suggested on Isabelle mailing list (C-a C-c C-x). x for eXecute?! I find the control sequences easier but C-m and C-l were taken...

Note: See TracTickets for help on using tickets.