From 5b2198e81d1255210371e2395a201adc1acc2843 Mon Sep 17 00:00:00 2001
From: Thomas Schoebel-Theuer <mars@asus>
Date: Tue, 11 Oct 2022 21:17:28 +0200
Subject: [PATCH] doc: explain new primitive global-sync-limit-value

---
 docu/mars-user-manual.lyx | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

diff --git a/docu/mars-user-manual.lyx b/docu/mars-user-manual.lyx
index 6e30d627..a4d0eff0 100644
--- a/docu/mars-user-manual.lyx
+++ b/docu/mars-user-manual.lyx
@@ -25740,7 +25740,12 @@ status open
 \begin_layout Plain Layout
 
 \size scriptsize
-Inquiry of the preceding value.
+Inquiry of the maxium sync concurrency.
+ See also the primitive macro 
+\family typewriter
+%global-sync-limit-value{}
+\family default
+.
 \end_layout
 
 \end_inset
@@ -37762,10 +37767,24 @@ mydata
 \begin_layout Labeling
 \labelwidthstring 00.00.0000
 
+\family typewriter
+global-sync-limit-value
+\family default
+ (global) Report the maxium parallelism degree of sync, as configurable
+ via 
+\family typewriter
+set-global-sync-limit
+\family default
+.
+\end_layout
+
+\begin_layout Labeling
+\labelwidthstring 00.00.0000
+
 \family typewriter
 uuid
 \family default
- (global) Show the unique identifier created by 
+ (global) Report the unique identifier created by 
 \family typewriter
 create-cluster
 \family default