Index: gnuprologjava.html
===================================================================
RCS file: /webcvs/gnuprologjava/gnuprologjava/gnuprologjava.html,v
retrieving revision 1.5
diff -U 2 -r1.5 gnuprologjava.html
--- gnuprologjava.html	23 May 2016 08:37:12 -0000	1.5
+++ gnuprologjava.html	21 Sep 2020 09:22:37 -0000
@@ -1,71 +1,72 @@
 <!--#include virtual="/server/header.html" -->
-<!-- Parent-Version: 1.79 -->
+<!-- Parent-Version: 1.92 -->
+<!-- This page is derived from /server/standards/boilerplate.html -->
 <title>Prolog for Java
 - GNU Project - Free Software Foundation</title>
 <!--#include virtual="/server/gnun/initial-translations-list.html" -->
 <!--#include virtual="/server/banner.html" -->
+<div class="reduced-width">
+
 <h2>GNU Prolog for Java</h2>
-<hr />
-<p>GNU Prolog for Java is an implementation of ISO Prolog as a Java library (gnu.prolog)</p>
+<hr class="thin" />
 
-<h3>Downloading
-  Prolog for Java</h3>
-<p>Prolog for Java
-can be found on the main GNU ftp server:
-<a href="http://ftp.gnu.org/gnu/gnuprologjava/">http://ftp.gnu.org/gnu/gnuprologjava/</a>
-(via HTTP) and
-<a href="ftp://ftp.gnu.org/gnu/gnuprologjava/">ftp://ftp.gnu.org/gnu/gnuprologjava/</a>
-(via FTP).  It can also be found
-on the <a href="/prep/ftp.html">GNU mirrors</a>;
-please
-<a href="http://ftpmirror.gnu.org/gnuprologjava/">use
-a mirror</a> if possible.</p>
-<p>The GPG keys used to sign releases will be signed using the <a href="key-signing-key.asc">key signing key for GNU Prolog for Java which has fingerprint BEBF A393 37E8 2048 D3B3  28F4 72C9 4F71 A10C 2B34</a>.</p>
+<p>GNU Prolog for Java is an implementation of ISO Prolog as a Java library (gnu.prolog).</p>
+
+<h3>Download</h3>
+
+<p>Source releases can be found on the main GNU server
+(<a href="https://ftp.gnu.org/gnu/gnuprologjava/">HTTPS</a>,&nbsp;
+<a href="http://ftp.gnu.org/gnu/gnuprologjava/">HTTP</a>,&nbsp;
+<a href="ftp://ftp.gnu.org/gnu/gnuprologjava/">FTP</a>) and its
+<a href="/prep/ftp.html">mirrors</a>; please
+<a href="https://ftpmirror.gnu.org/gnuprologjava/">use a mirror</a> if possible.</p>
+
+<p>The GPG keys used to sign releases will be signed using the <a
+href="key-signing-key.asc">key signing key for GNU Prolog for Java, which has
+fingerprint BEBF A393 37E8 2048 D3B3  28F4 72C9 4F71 A10C 2B34</a>.</p>
 
 
 <h3>Documentation</h3>
-<p>The <a href="api/">API documentation for Prolog for Java</a> is available online</p>
-<p><a href="manual/">Documentation for
-Prolog for Java
-is available online (html)</a>, <a href="manual.info">(info)</a>, as
-is <a href="/manual/">documentation for most GNU software</a>.  You may
-also find more information about
-Prolog for Java
-by running
-<em>info&nbsp;gnuprologjava</em>
-or by looking at
-<em>/usr/share/doc/libgnuprolog-java/</em>
+
+<p>Documentation for Prolog for Java is available online, as is <a
+href="/manual/">documentation for most GNU software</a>:</p>
+<ul>
+  <li>Manual, in <a href="manual/">HTML</a> and <a
+    href="manual.info">INFO</a> formats;</li>
+  <li><a href="api/">API documentation</a>.</li>
+</ul>
+
+<p>You may also find information about Prolog for Java
+by running <kbd>info&nbsp;gnuprologjava</kbd>,
+or by looking at <code>/usr/share/doc/libgnuprolog-java/</code>
 or similar directories on your system.</p>
 
 <h3>Mailing lists</h3>
 
-<p>Prolog for Java
-has one mailing list:
-<a href="mailto:info-gnuprologjava@gnu.org">&lt;info-gnuprologjava@gnu.org&gt;</a> 
-this is the discussion list is
-and is used to discuss most aspects of
-Prolog for Java,
-including development. Bug reports should be directed to the 
-<a href="https://savannah.gnu.org/bugs/?group=gnuprologjava">savannah bug tracker</a> and
-support requests to the 
-<a href="https://savannah.gnu.org/support/?group=gnuprologjava">savannah support tracker</a>
-in the first instance. However if email discussion is required first or
-prefered then use the info list.</p>
+<p>Prolog for Java has one mailing list: &lt;<a
+href="mailto:info-gnuprologjava@gnu.org">info-gnuprologjava@gnu.org</a>&gt;
+(<a href="https://lists.gnu.org/mailman/listinfo/info-gnuprologjava">web
+interface</a>). It is used to discuss most aspects of Prolog for Java,
+including development.</p>
+
+<p>Bug reports should be directed to the 
+<a href="https://savannah.gnu.org/bugs/?group=gnuprologjava">Savannah bug
+tracker</a>, and support requests to the 
+<a href="https://savannah.gnu.org/support/?group=gnuprologjava">Savannah
+support tracker</a> as first choices. However, if a preliminary email
+discussion is required or preferred, then use the info list.</p>
 
 <p>Announcements about
 Prolog for Java
 and most other GNU software are made on
-<a href="mailto:info-gnu@gnu.org">&lt;info-gnu@gnu.org&gt;</a>.</p>
+&lt;<a href="mailto:info-gnu@gnu.org">info-gnu@gnu.org</a>&gt;.</p>
 
 <p>To subscribe to these or any GNU mailing lists, please send an empty
-mail with a Subject: header of just <tt>subscribe</tt> to the relevant
--request list.  For example, to subscribe yourself to the GNU
-announcement list, you would send mail to <a
-href="mailto:info-gnu-request@gnu.org?Subject=subscribe"
->&lt;info-gnu-request@gnu.org&gt;</a>.
+mail with a <i>Subject:</i> header of just &ldquo;subscribe&rdquo; to the
+relevant <i>-request</i> list.  For example, to subscribe yourself to the GNU
+announcement list, you would send mail to &lt;<a
+href="mailto:info-gnu-request@gnu.org?Subject=subscribe">info-gnu-request@gnu.org</a>&gt;.
 Or you can use the <a
-href="http://lists.gnu.org/mailman/listinfo/info-gnu">mailing list web
-interface</a>.</p>
-
+href="https://lists.gnu.org/mailman/listinfo/info-gnu">web interface</a>.</p>
 
 <h3>Getting involved</h3>
@@ -79,54 +80,14 @@
 
 
-<dl>
-<dt>Test releases</dt>
-
-<dd>Trying the latest test release (when available) is always
-appreciated.  Test releases of
-Prolog for Java
-can be found at
-<a href="http://alpha.gnu.org/gnu/gnuprologjava/">http://alpha.gnu.org/gnu/gnuprologjava/</a>
-(via HTTP) and
-<a href="ftp://alpha.gnu.org/gnu/gnuprologjava/">ftp://alpha.gnu.org/gnu/gnuprologjava/</a>
-(via FTP).</dd>
-
-<dt>Development</dt>
-
-<dd>For development sources, bug and patch trackers, and other
+<p>For development sources, bug and patch trackers, and other
 information, please see the
-<a href="http://savannah.gnu.org/projects/gnuprologjava/">Prolog for Java
+<a href="https://savannah.gnu.org/projects/gnuprologjava/">Prolog for Java
 project page</a>
-at <a href="http://savannah.gnu.org">savannah.gnu.org</a>.</dd>
-
-<!--
-<dt>Translating
-  Prolog for Java</dt>
-
-<dd>To translate
-Prolog for Java's
-messages into other languages, please see the <a
-href="http://translationproject.org/domain/gnuprologjava.html">Translation Project
-page for
-Prolog for Java</a>.
-If you have a new translation of the message strings,
-or updates to the existing strings, please have the changes made in this
-repository.  Only translations from this site will be incorporated into
-Prolog for Java.
-For more information, see the <a
-href="http://translationproject.org/html/welcome.html">Translation
-Project</a>.</dd>
--->
-
-<dt>Maintainer</dt>
+at <a href="https://savannah.gnu.org">savannah.gnu.org</a>.</p>
 
-<dd>Prolog for Java
-is currently being maintained by
+<p>Prolog for Java is currently maintained by
 Pavan Kumar Gorakavi.<br/>
 Daniel Thomas is our GSoC student and doing the current development work.
-Please use the mailing lists for contact.</dd>
-
-
-</dl>
-
+Please use the mailing list for contact.</p>
 
 <h3>Licensing</h3>
@@ -139,5 +100,5 @@
 option) any later version.</p>
 
-
+</div>
 </div><!-- for id="content", starts in the include above -->
 <!--#include virtual="/server/footer.html" -->
@@ -149,10 +110,11 @@
 There are also <a href="/contact/">other ways to contact</a>
 the FSF.
-Please use the savannah bug tracker and the 'Website' category to report broken
+Please use the Savannah bug tracker and the &ldquo;Website&rdquo; category
+to report broken
 links, and to make other corrections or suggestions.</p>
 
 <p>Please see the <a
 href="/server/standards/README.translations.html">Translations
-README</a> for information on coordinating and submitting translations
+README</a> for information on coordinating and contributing translations
 of this article.</p>
 </div>
