Sync doc.lisp

doc.lisp

@@ -77,7 +77,7 @@ Subtopics
   [defthm], [in-theory], [xargs], [state], etc., without an acl2::
   prefix.
 
-  The constant *acl2-exports* lists 1413 symbols, including most
+  The constant *acl2-exports* lists 1415 symbols, including most
   documented ACL2 system constants, functions, and macros. You will
   typically also want to import many symbols from Common Lisp; see
   [*common-lisp-symbols-from-main-lisp-package*].
@@ -303,6 +303,7 @@ Subtopics
        gcs generalize get-check-invariant-risk
        get-command-sequence get-event-data
        get-global get-output-stream-string$
+       get-register-invariant-risk
        get-slow-alist-action get-timer
        get-wormhole-status getenv$ getprop
        getprop-default getpropc getprops
@@ -570,6 +571,7 @@ Subtopics
        set-prover-step-limit set-raw-mode
        set-raw-mode-on! set-raw-proof-format
        set-raw-warning-format
+       set-register-invariant-risk
        set-rewrite-stack-limit
        set-ruler-extenders
        set-rw-cache-state set-rw-cache-state!