--- /home/greg/Tmp/fricas/src/algebra/hypertex.spad	2026-01-27 09:46:33.787898764 +0100
+++ src/algebra/hypertex.spad	2026-01-27 08:54:13.312481461 +0100
@@ -1,4 +1,6 @@
 )abbrev domain ERRIND ErrorIndicator
+++ Author: Waldek Hebisch
+++ Description: Error indicator used by BrowserInformation.
 ErrorIndicator : Join(RetractableTo(List(String)),
                       CoercibleTo(OutputForm)) == add
     LS ==> List(String)
@@ -80,8 +82,8 @@
      search_constructors : (String, SY) -> Con_res
        ++ search_constructors(n, t) searches for constructors with
        ++ name matching n.  t may be k (meaning all constructors),
-       ++ c, d p or p meaning only categories, domains or packages
-       ++ are returned).
+       ++ c, d or p meaning only categories, domains or packages
+       ++ are returned.
      search_operations : String -> Op_res
        ++ search_operations(n) searches for operations with name
        ++ matching n.
@@ -89,7 +91,7 @@
        ++ search_documentation(n) searches for constructors and
        ++ operations with documentation string matching n.
      search_general : String -> Gen_res
-       ++ search_general(n) searches or constructors and operations
+       ++ search_general(n) searches constructors and operations
        ++ with name matching n.
      group_by_condition : Cond_con_lst -> Grp_con_lst
        ++ group_by_condition(ol) splits list of constructors with
@@ -102,9 +104,9 @@
        ++ on their conditions.
      group_by_implementation : (List(SE), Con_form, Op_lst) -> Grp_lst
        ++ group_by_condition(al, df, ol) splits list of operations ol
-       ++ depending on their implementation.  ol must be a list of
+       ++ depending on their implementation. ol must be a list of
        ++ operations from a domain with form df, al must fully specify
-       ++ operations to the domain.
+       ++ operations of the domain.
      search_opl : (String, Op_lst) -> Op_res
        ++ search_opl(n, ol) gives list of operations from ol with
        ++ names matching n.
@@ -134,7 +136,7 @@
        ++ This operation is present only to check compatibility with
        ++ old code and will be removed in the future.
      downcase : String -> String
-       ++ downcase(s) converts s to lower case
+       ++ downcase(s) converts s to lower case.
      sublis_formal : (List(SE), SE) -> SE
        ++ sublis_formal(args, expr) replaces formal variable symbols
        ++ in expr by corresponding elements of args.
@@ -541,7 +543,7 @@
                 d1 := first(doc)
                 dname := symbol(car(d1))
                 while dname < name repeat
-                    print(d1::OutputForm)$OutputForm
+                    -- print(d1::OutputForm)$OutputForm
                     -- not(is_attribute_doc?(d1)) =>
                     --    error "merge_doc: unused documentation 1"
                     doc := rest(doc)
@@ -553,8 +555,8 @@
                     merge_doc1(r1.sigs, destruct(cdr(d1)), form)
                 add_origin(r1.sigs, form)
             res := cons([name, sdl], res)
-        for d1 in doc repeat
-            print(d1::OutputForm)$OutputForm
+        -- for d1 in doc repeat
+            -- print(d1::OutputForm)$OutputForm
             -- if not(is_attribute_doc?(d1)) then
             --    error "merge_doc: unused documentation 2"
         reverse!(res)
