The unified diff between revisions [b3606068..] and [8c990843..] is displayed below. It can also be downloaded as a raw diff.

#
#
# patch "docs/ug/erb-install.tex"
#  from [856f1799db4af502de5661f23665da8f4ac04a73]
#    to [7603faff37f83f87727512f6e57a5ee0f78dab22]
#
============================================================
--- docs/ug/erb-install.tex	856f1799db4af502de5661f23665da8f4ac04a73
+++ docs/ug/erb-install.tex	7603faff37f83f87727512f6e57a5ee0f78dab22
@@ -43,8 +43,8 @@ \section{Prerequisites}

 \item \label{gnat} \textbf{GNAT Pro} - The GNAT Pro compiler is used to compile the
 harness. You need to have access to the native compiler corresponding to
-the host environment you are using. ERB requires any version of GNAT Pro
-more recent than 6.1.2 or GNAT GPL edition more recent than GNAT GPL 2008.
+the host environment you are using. ERB requires any version of GNAT Pro >= 6.1.2
+or GNAT GPL >= 2008.

 \item \label{tex} \textbf{TeXinfo} - The documentation of the ERB
 project is written in LaTeX format. In order to build it, you need to