docs: java: Add missing references. (cvc5#11059)

ajreynol · Jul 17, 2024 · 2cb0e95 · 2cb0e95
1 parent ffb224b
commit 2cb0e95
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/api/java/java.rst b/docs/api/java/java.rst
@@ -66,6 +66,7 @@ Building cvc5 Java API
 `Package io.github.cvc5 <io/github/cvc5/package-summary.html>`_
 ...............................................................
 
+  * class `AbstractPlugin <io/github/cvc5/AbstractPlugin.html>`_
   * class `Command <io/github/cvc5/Command.html>`_
   * class `Datatype <io/github/cvc5/Datatype.html>`_
   * class `DatatypeConstructor <io/github/cvc5/DatatypeConstructor.html>`_
@@ -106,4 +107,5 @@ Building cvc5 Java API
   * enum `InputLanguage <io/github/cvc5/modes/InputLanguage.html>`_
   * enum `LearnedLitType <io/github/cvc5/modes/LearnedLitType.html>`_
   * enum `ProofComponent <io/github/cvc5/modes/ProofComponent.html>`_
+  * enum `ProofFormat <io/github/cvc5/modes/ProofFormat.html>`_