From 8077e695ccf96eecf308cff4a677b61fb5eaa26a Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Tue, 27 Aug 2019 22:25:05 +0200
Subject: [PATCH] [ fixed #244 ] document CUP version in Backend Guide

---
 docs/user_guide.rst | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/docs/user_guide.rst b/docs/user_guide.rst
index f3d16ce3..c9711afd 100644
--- a/docs/user_guide.rst
+++ b/docs/user_guide.rst
@@ -39,14 +39,18 @@ Java Backend
 Generates abstract syntax, parser and printer as Java code.
 Main option: ``--java``.
 
-Entrypoints
-...........
-
-Cup can only generate parsers with a single entry point. If multiple entry points
-are given using the ``entrypoint`` directive, only the first one will be used.
-Otherwise, the first category defined in the grammar file will be used as the
-entry point for the grammar.
-If you need multiple entrypoints, use ANTLRv4.
+CUP
+...
+
+By default ``--java`` generates input for the CUP parser generator,
+since 2.8.2 CUP version v11b.
+
+.. note::
+   CUP can only generate parsers with a single entry point. If multiple entry points
+   are given using the ``entrypoint`` directive, only the first one will be used.
+   Otherwise, the first category defined in the grammar file will be used as the
+   entry point for the grammar.
+   If you need multiple entrypoints, use ANTLRv4.
 
 ANTLRv4
 .......