From 2cb0e955c83f7401e1ca3aebddf8f8072c73f612 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 17 Jul 2024 01:42:21 -0700
Subject: [PATCH] docs: java: Add missing references. (#11059)

---
 docs/api/java/java.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/api/java/java.rst b/docs/api/java/java.rst
index 088fc0c62e2..8c9dcfcf539 100644
--- 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>`_