Skip to content

Commit

Permalink
CoqIDE: updating documentation of the Preference windows.
Browse files Browse the repository at this point in the history 
In particular, we explicitly mention the existence of an Emacs mode.

(cherry picked from commit 7d3e6fe)
  • Loading branch information
@herbelin @vbgl
herbelin authored and vbgl committed May 13, 2019
1 parent 22cbb4c commit 5f9ba94
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion doc/sphinx/practical-tools/coqide.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -181,7 +181,14 @@ presented as a notebook.
The first section is for selecting the text font used for scripts,
goal and message windows.

The second section is devoted to file management: you may configure
The second and third sections are for controlling colors and style.

The fourth section is for customizing the editor. It includes in
particular the ability to activate an Emacs mode named
micro-Proof-General (use the Help menu to know more about the
available bindings).

The next section is devoted to file management: you may configure
automatic saving of files, by periodically saving the contents into
files named `#f#` for each opened file `f`. You may also activate the
*revert* feature: in case a opened file is modified on the disk by a
Expand Down

0 comments on commit 5f9ba94

Please sign in to comment.