From 245d3383c2f463b07987f2758af28871fe753de9 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 1 Jun 2021 17:21:56 -0700
Subject: [PATCH] docs: Migrate input languages page. (#6659)

This migrates page https://cvc4.github.io/input-languages.
---
 docs/index.rst     | 1 +
 docs/languages.rst | 8 ++++++++
 2 files changed, 9 insertions(+)
 create mode 100644 docs/languages.rst

diff --git a/docs/index.rst b/docs/index.rst
index 7ab22cd7a..956ddcc29 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -18,5 +18,6 @@ Table of Contents
    binary/binary
    api/api
    examples/examples
+   languages
    references
    genindex
diff --git a/docs/languages.rst b/docs/languages.rst
new file mode 100644
index 000000000..34c536017
--- /dev/null
+++ b/docs/languages.rst
@@ -0,0 +1,8 @@
+Input Languages
+===============
+
+cvc5 supports the following input languages:
+
+* `SMT-LIB v2 <http://smtlib.cs.uiowa.edu/language.shtml>`_
+* `SyGuS-IF <https://sygus.org/language/>`_
+* `TPTP <http://www.tptp.org/>`_
-- 
2.30.2