diff --git a/lib/doc/synopsis.html b/lib/doc/synopsis.html
index 930c75022..d6c7dfa2f 100644
--- a/lib/doc/synopsis.html
+++ b/lib/doc/synopsis.html
@@ -278,6 +278,11 @@ also in the Paradigms modules.
mkAdv-> NP -> AdvmkUtt (mkAdv in_Prep (mkNP the_Det house_N)) mkUtt (mkAdv in_Prep (mkNP the_Det house_N)) mkAdv+Lexical category, constructors given in +lexical paradigms. +
+aPl_DetmkUtt (mkNP aPl_Det woman_N) mkUtt (mkNP aPl_Det woman_N) aSg_DetmkDet-> DetmkUtt (mkNP (mkDet (mkCard (mkNumeral n5_Unit)))) mkUtt (mkNP (mkDet (mkCard (mkNumeral n5_Unit)))) mkDetmkImp-> ImpmkUtt (mkImp (mkVP (mkVP come_V) (mkAdv to_Prep (mkNP i_Pron house_N)))) mkUtt (mkImp (mkVP (mkVP come_V) (mkAdv to_Prep (mkNP i_Pron house_N)))) mkImpmkNP-> CN -> NPmkUtt (mkNP (mkNumeral (n5_Unit)) (mkCN old_A man_N)) mkUtt (mkNP (mkNumeral (n5_Unit)) (mkCN old_A man_N)) mkNP-> N -> NPmkUtt (mkNP (mkNumeral (n5_Unit)) man_N) mkUtt (mkNP (mkNumeral (n5_Unit)) man_N) mkNP-> CN -> NPmkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) (mkCN old_A man_N)) mkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) (mkCN old_A man_N)) mkNP-> N -> NPmkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) man_N) mkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) man_N) mkNP@@ -3949,7 +3962,7 @@ source +
@@ -4822,7 +4835,7 @@ source +
@@ -5080,7 +5093,7 @@ source +
@@ -5122,6 +5135,11 @@ source PN +
mkA(small : Str) -> A@@ -5631,7 +5649,7 @@ source +
@@ -5669,8 +5687,8 @@ source N -
(bank : Str) -> NmkN-> PN
+mkA(vers : Str) -> A@@ -6172,7 +6195,7 @@ source +
@@ -6545,7 +6568,7 @@ source +
@@ -6817,6 +6840,11 @@ source PN +
mkAStr -> A
@@ -7215,6 +7243,11 @@ source N -> PN
+
mkA(cher : Str) -> A
@@ -7513,6 +7546,21 @@ source N -> N -> N
+
changeCompoundNStr -> N -> Ndative_eN-> NmkN2-> N2-> PN
+mkAStr -> AmkPrep-> Str -> PrepmkPrepStr -> Case -> Str -> PrepaccPrep-> V
-no_geV-> V
+mkV2-> V2@@ -8162,7 +8230,7 @@ source +
@@ -8234,6 +8302,11 @@ source N -> PN
+
personalPNStr -> Str -> Str -> Str -> Str -> Str -> Str -> Number -> Gender -> UPerson -> Pron
@@ -8577,6 +8650,11 @@ source N -> PN
+
mkA(bianco : Str) -> A@@ -8876,7 +8954,7 @@ source +
@@ -9284,7 +9362,7 @@ source +
@@ -9757,7 +9835,7 @@ source +
@@ -10105,7 +10183,7 @@ source +
@@ -10358,7 +10436,7 @@ source +
@@ -10368,7 +10446,7 @@ source ../src/polish/ParadigmsPol.gf
@@ -10581,7 +10659,7 @@ source +
@@ -10834,7 +10912,7 @@ source +
@@ -11022,7 +11100,7 @@ source +
@@ -11235,7 +11313,7 @@ source +
@@ -11352,6 +11430,11 @@ source N -> PN
+
mkA(util : Str) -> A
@@ -11646,6 +11729,11 @@ source N -> PN
+
mkPN(jesus,jesu : Str) -> Gender -> PN@@ -12009,7 +12097,7 @@ source +
@@ -12262,10 +12350,10 @@ source +
@@ -12346,7 +12434,7 @@ strings and booleans. - +
@@ -12451,7 +12539,7 @@ These functions are hard-coded in GF. They are available without explicit openin - +
@@ -12512,7 +12600,7 @@ use precedence levels and parentheses for grouping subexpressions. - +
@@ -12574,7 +12662,7 @@ languages. - +
@@ -12680,7 +12768,7 @@ expressions (app). It works for all resource languages.
-
+
@@ -12709,7 +12797,7 @@ To try out overloaded syntax, test lexicon, and inflection paradigms: > cc mkCl (mkNP this_Quant (mkN "Farbe")) (mkA "dunkel") - +
@@ -12783,7 +12871,7 @@ For each language, an instantiation of the functor: (LexMusic = LexMusicGer) ; - +