1 files changed, 16 insertions, 0 deletions
diff --git a/txr.1 b/txr.1
index bab0f4c5..f4bc42d9 100644
--- a/txr.1
+++ b/txr.1
@@ -4322,6 +4322,22 @@ alternative1 | alternative2 | ... | alternativeN
 Multiple syntactic variations allowed in one place are
 indicated as bar-separated items.
 
+.SS Operator progn
+
+.TP
+Syntax:
+(progn <form>*)
+
+.TP
+Description
+
+The progn operator evaluates forms in order, and returns the value
+of the last form. The return value of (progn) is nil.
+
+Various other operators such as let also arrange for the evaluation
+of a body of forms, the value of the last of which is returned.
+These operators are said to feature an "implicit progn".
+
 .SS Operators let and let*
 
 .TP