Linguistics: add support for Discourse Representation Structures

[lyx.git] / lib / doc / UserGuide.lyx

diff --git a/lib/doc/UserGuide.lyx b/lib/doc/UserGuide.lyx
index 2bf42fd6589562e3acab44652fa953e0ae9f4920..4b9ec6752e1a5cf808acd98f90885cde39e81f45 100644 (file)
--- a/lib/doc/UserGuide.lyx
+++ b/lib/doc/UserGuide.lyx
@@ -1,5 +1,5 @@
 #LyX 2.4 created this file. For more info see https://www.lyx.org/
-\lyxformat 575
+\lyxformat 577
 \begin_document
 \begin_header
 \save_transient_properties true
@@ -118,7 +118,6 @@ logicalmkup
 \use_refstyle 1
 \use_minted 0
 \use_lineno 0
-\lineno_options 
 \notefontcolor #0000ff
 \branch Question
 \selected 1
@@ -153,6 +152,7 @@ logicalmkup
 \html_be_strict true
 \author -1402925745 "Günter Milde"
 \author -712698321 "Jürgen Spitzmüller"
+\author -563046850 "Jean-Marc LASGOUTTES"
 \author 5863208 "ab"
 \end_header
 
@@ -2342,7 +2342,15 @@ Return
 \begin_layout Standard
 The completion options for math in the preferences do the same as the correspond
 ing options for text.
- The special math option 
+ 
+\change_inserted -563046850 1560340017
+Additionally, 
+\change_deleted -563046850 1560340019
+T
+\change_inserted -563046850 1560340019
+t
+\change_unchanged
+he special math option 
 \family sans
 Autocorrection
 \family default
@@ -2372,13 +2380,56 @@ autocorrect
 \family default
  that is in \SpecialChar LyX
 's installation folder.
- Math autocorrection can at any time be turned on by pressing the exclamation
+ 
+\change_deleted -563046850 1560340086
+Math autocorrection can at any time be turned on by pressing the exclamation
  mark key “!”.
  Pressing 
 \family sans
 Space
 \family default
  turns it off.
+\change_inserted -563046850 1560340324
+Note that using 
+\family sans
+Undo
+\family default
+ after autocorrection has done its magic leaves the un-corrected sequence.
+ In the example above, 
+\family sans
+Undo
+\family default
+ leads to 
+\begin_inset Quotes eld
+\end_inset
+
+
+\series bold
+=>
+\series default
+
+\begin_inset Quotes erd
+\end_inset
+
+, and a second 
+\family sans
+Undo
+\family default
+ yields 
+\begin_inset Quotes eld
+\end_inset
+
+
+\series bold
+=
+\series default
+
+\begin_inset Quotes erd
+\end_inset
+
+.
+\change_unchanged
+
 \end_layout
 
 \begin_layout Section
@@ -29445,7 +29496,7 @@ name "subsec:Table-of-Contents"
 The Table of Contents (TOC) is inserted with the menu 
 \family sans
 Insert\SpecialChar menuseparator
-List/TOC\SpecialChar menuseparator
+List/Contents/References\SpecialChar menuseparator
 Table
 \begin_inset space ~
 \end_inset
@@ -29536,7 +29587,7 @@ Table, figure, listings and algorithm lists are very much like the table
  You can insert them via the 
 \family sans
 Insert\SpecialChar menuseparator
-List/TOC
+List/Contents/References
 \family default
  submenus.
  The list entries are the float captions and the float number.
@@ -30493,11 +30544,7 @@ To access a database via Bib\SpecialChar TeX
 , use the menu 
 \family sans
 Insert\SpecialChar menuseparator
-List
-\family default
-/
-\family sans
-TOC\SpecialChar menuseparator
+List/Contents/References\SpecialChar menuseparator
 Bib(la)TeX
 \begin_inset space ~
 \end_inset
@@ -30624,11 +30671,7 @@ biblatex
 : Use the menu 
 \family sans
 Insert\SpecialChar menuseparator
-List
-\family default
-/
-\family sans
-TOC\SpecialChar menuseparator
+List/Contents/References\SpecialChar menuseparator
 Bib(la)TeX
 \begin_inset space ~
 \end_inset
@@ -31542,7 +31585,7 @@ arg   "index-insert"
 The index list is inserted in the document with the menu 
 \family sans
 Insert\SpecialChar menuseparator
-List/TOC\SpecialChar menuseparator
+List/Contents/References\SpecialChar menuseparator
 Index
 \begin_inset space ~
 \end_inset
@@ -32422,7 +32465,7 @@ Once the document changes have been applied, you can find the new index
  list in 
 \family sans
 Insert\SpecialChar menuseparator
-List/TOC
+List/Contents/References
 \family default
  and the 
 \family sans
@@ -33377,7 +33420,7 @@ Nomenclature ! Printing
 To print the nomenclature, use the menu 
 \family sans
 Insert\SpecialChar menuseparator
-Lists/TOC\SpecialChar menuseparator
+List/Contents/References\SpecialChar menuseparator
 Nomenclature
 \family default
 .
@@ -40918,7 +40961,9 @@ Other\SpecialChar ldots
 \end_layout
 
 \begin_layout Subsection
-List/TOC
+
+\family sans
+List/Contents/References
 \end_layout
 
 \begin_layout Standard