From 7d3e6fefd7dab20c433fb7ae1baec5fa3ff2f0d7 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Sat, 27 Apr 2019 12:56:30 +0200 Subject: CoqIDE: updating documentation of the Preference windows. In particular, we explicitly mention the existence of an Emacs mode. --- doc/sphinx/practical-tools/coqide.rst | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'doc/sphinx/practical-tools') diff --git a/doc/sphinx/practical-tools/coqide.rst b/doc/sphinx/practical-tools/coqide.rst index 97d86943fb..d3d75dddd8 100644 --- a/doc/sphinx/practical-tools/coqide.rst +++ b/doc/sphinx/practical-tools/coqide.rst @@ -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 -- cgit v1.2.3 From 890f206ebea4a14f5be8b273cee4ae8f99ca25e1 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 19 Apr 2019 18:52:26 +0200 Subject: Split changes between main changes and other changes (no repetition). Add more links to PRs and credits of authors. --- doc/sphinx/practical-tools/coqide.rst | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/sphinx/practical-tools') diff --git a/doc/sphinx/practical-tools/coqide.rst b/doc/sphinx/practical-tools/coqide.rst index 97d86943fb..6cbd00f45d 100644 --- a/doc/sphinx/practical-tools/coqide.rst +++ b/doc/sphinx/practical-tools/coqide.rst @@ -252,6 +252,8 @@ use antialiased fonts or not, by setting the environment variable `GDK_USE_XFT` to 1 or 0 respectively. +.. _coqide-unicode: + Bindings for input of Unicode symbols ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- cgit v1.2.3 From f958d281ab57acfb37e69bbe92ed603d87962ce6 Mon Sep 17 00:00:00 2001 From: Robert Rand Date: Tue, 7 May 2019 12:44:09 -0400 Subject: Added description of Q Note that this description is identical to that of R. R should maybe start with the word "Recursively"?--- doc/sphinx/practical-tools/utilities.rst | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'doc/sphinx/practical-tools') diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst index 35231610fe..f799091af3 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/practical-tools/utilities.rst @@ -911,11 +911,13 @@ Command line options Coq``. :-R dir coqdir: Map physical directory dir to |Coq| logical directory ``coqdir`` (similarly to |Coq| option ``-R``). + :-Q dir coqdir: Map physical directory dir to |Coq| logical + directory ``coqdir`` (similarly to |Coq| option ``-Q``). .. note:: - option ``-R`` only has - effect on the files *following* it on the command line, so you will + options ``-R`` and ``-Q`` only have + effect on the files *following* them on the command line, so you will probably need to put this option first. -- cgit v1.2.3 From 8f7559931d79588328049586b389d4109c59a9d2 Mon Sep 17 00:00:00 2001 From: Robert Rand Date: Tue, 7 May 2019 13:05:19 -0400 Subject: Added "Recursively" for the R option --- doc/sphinx/practical-tools/utilities.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/sphinx/practical-tools') diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst index f799091af3..554f6bf230 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/practical-tools/utilities.rst @@ -909,7 +909,7 @@ Command line options :--coqlib url: Set base URL for the Coq standard library (default is ``_). This is equivalent to ``--external url Coq``. - :-R dir coqdir: Map physical directory dir to |Coq| logical + :-R dir coqdir: Recursively map physical directory dir to |Coq| logical directory ``coqdir`` (similarly to |Coq| option ``-R``). :-Q dir coqdir: Map physical directory dir to |Coq| logical directory ``coqdir`` (similarly to |Coq| option ``-Q``). -- cgit v1.2.3