[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
www manual/allgnupkgs.af.html manual/allgnupkgs...
|
From: |
GNUN |
|
Subject: |
www manual/allgnupkgs.af.html manual/allgnupkgs... |
|
Date: |
Tue, 2 May 2017 16:00:08 -0400 (EDT) |
CVSROOT: /web/www
Module name: www
Changes by: GNUN <gnun> 17/05/02 16:00:06
Modified files:
manual : allgnupkgs.af.html allgnupkgs.ar.html
allgnupkgs.bg.html allgnupkgs.ca.html
allgnupkgs.cs.html allgnupkgs.da.html
allgnupkgs.de.html allgnupkgs.el.html
allgnupkgs.es.html allgnupkgs.fa.html
allgnupkgs.fr.html allgnupkgs.he.html
allgnupkgs.hr.html allgnupkgs.id.html
allgnupkgs.it.html allgnupkgs.ja.html
allgnupkgs.ko.html allgnupkgs.lt.html
allgnupkgs.ml.html allgnupkgs.nb.html
allgnupkgs.nl.html allgnupkgs.pl.html
allgnupkgs.pt-br.html allgnupkgs.ro.html
allgnupkgs.ru.html allgnupkgs.sk.html
allgnupkgs.sq.html allgnupkgs.sr.html
allgnupkgs.sv.html allgnupkgs.ta.html
allgnupkgs.tr.html allgnupkgs.uk.html
allgnupkgs.zh-cn.html allgnupkgs.zh-tw.html
manual/po : allgnupkgs.de.po allgnupkgs.fr.po
allgnupkgs.pot.opt
server : home-pkgblurbs.af.html home-pkgblurbs.ar.html
home-pkgblurbs.bg.html home-pkgblurbs.ca.html
home-pkgblurbs.cs.html home-pkgblurbs.da.html
home-pkgblurbs.de.html home-pkgblurbs.el.html
home-pkgblurbs.es.html home-pkgblurbs.fa.html
home-pkgblurbs.fr.html home-pkgblurbs.he.html
home-pkgblurbs.hr.html home-pkgblurbs.id.html
home-pkgblurbs.it.html home-pkgblurbs.ja.html
home-pkgblurbs.ko.html home-pkgblurbs.lt.html
home-pkgblurbs.ml.html home-pkgblurbs.nb.html
home-pkgblurbs.nl.html home-pkgblurbs.pl.html
home-pkgblurbs.pt-br.html
home-pkgblurbs.ro.html home-pkgblurbs.ru.html
home-pkgblurbs.sk.html home-pkgblurbs.sq.html
home-pkgblurbs.sr.html home-pkgblurbs.sv.html
home-pkgblurbs.ta.html home-pkgblurbs.tr.html
home-pkgblurbs.uk.html
home-pkgblurbs.zh-cn.html
home-pkgblurbs.zh-tw.html
Log message:
Automatic update by GNUnited Nations.
CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.af.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ar.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.bg.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ca.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.cs.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.da.html?cvsroot=www&r1=1.37&r2=1.38
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.de.html?cvsroot=www&r1=1.95&r2=1.96
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.el.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.es.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.fa.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.fr.html?cvsroot=www&r1=1.96&r2=1.97
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.he.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.hr.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.id.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.it.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ja.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ko.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.lt.html?cvsroot=www&r1=1.44&r2=1.45
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ml.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.nb.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.nl.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.pl.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.pt-br.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ro.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ru.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.sk.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.sq.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.sr.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.sv.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.ta.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.tr.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.uk.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.zh-cn.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.zh-tw.html?cvsroot=www&r1=1.58&r2=1.59
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/po/allgnupkgs.de.po?cvsroot=www&r1=1.123&r2=1.124
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/po/allgnupkgs.fr.po?cvsroot=www&r1=1.111&r2=1.112
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/po/allgnupkgs.pot.opt?cvsroot=www&r1=1.45&r2=1.46
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.af.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ar.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.bg.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ca.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.cs.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.da.html?cvsroot=www&r1=1.37&r2=1.38
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.de.html?cvsroot=www&r1=1.128&r2=1.129
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.el.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.es.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.fa.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.fr.html?cvsroot=www&r1=1.119&r2=1.120
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.he.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.hr.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.id.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.it.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ja.html?cvsroot=www&r1=1.135&r2=1.136
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ko.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.lt.html?cvsroot=www&r1=1.43&r2=1.44
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ml.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.nb.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.nl.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.pl.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.pt-br.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ro.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ru.html?cvsroot=www&r1=1.135&r2=1.136
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.sk.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.sq.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.sr.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.sv.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.ta.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.tr.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.uk.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.zh-cn.html?cvsroot=www&r1=1.64&r2=1.65
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgblurbs.zh-tw.html?cvsroot=www&r1=1.64&r2=1.65
Patches:
Index: manual/allgnupkgs.af.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.af.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.af.html 21 Apr 2017 12:30:12 -0000 1.58
+++ manual/allgnupkgs.af.html 2 May 2017 20:00:03 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ar.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ar.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ar.html 21 Apr 2017 12:30:12 -0000 1.58
+++ manual/allgnupkgs.ar.html 2 May 2017 20:00:03 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.bg.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.bg.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.bg.html 21 Apr 2017 12:30:12 -0000 1.58
+++ manual/allgnupkgs.bg.html 2 May 2017 20:00:03 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ca.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ca.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ca.html 21 Apr 2017 12:30:12 -0000 1.58
+++ manual/allgnupkgs.ca.html 2 May 2017 20:00:03 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.cs.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.cs.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.cs.html 21 Apr 2017 12:30:12 -0000 1.58
+++ manual/allgnupkgs.cs.html 2 May 2017 20:00:03 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.da.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.da.html,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -b -r1.37 -r1.38
--- manual/allgnupkgs.da.html 21 Apr 2017 12:30:12 -0000 1.37
+++ manual/allgnupkgs.da.html 2 May 2017 20:00:03 -0000 1.38
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.de.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.de.html,v
retrieving revision 1.95
retrieving revision 1.96
diff -u -b -r1.95 -r1.96
--- manual/allgnupkgs.de.html 21 Apr 2017 12:30:12 -0000 1.95
+++ manual/allgnupkgs.de.html 2 May 2017 20:00:03 -0000 1.96
@@ -1,5 +1,5 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a
href="#Archiving">Archivierung</a> | <a
@@ -818,6 +818,10 @@
<td>Monte-Carlo-Simulation und -Analyse. [<a
href="/software/mcsim/">MCSim</a>-Startseite]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program. [<a
+href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="//www.multiprecision.org/index.php?prog=mpc&page=documentation">MPC</a></td>
<td>C-Bibliothek für komplexe Arithmetik mit beliebiger Genauigkeit. [<a
@@ -1146,6 +1150,7 @@
href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a> <a
href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc</a> <a
href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a> <a
+href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a> <a
href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a> <a
href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a> <a
href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a> <a
@@ -1511,6 +1516,10 @@
<td>Generic Security Service (GSS), allgemeine
Sicherheitsdienstbibliothek. [<a
href="/software/gss/">GSS</a>-Startseite]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile. [<a
+href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="//www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html">Java-Getopt</a></td>
<td>Java-Portierung von GNU Getopt. [<a
@@ -1940,4 +1949,4 @@
href="#Dictionaries">Wörterbücher</a>
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.el.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.el.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.el.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.el.html 2 May 2017 20:00:03 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.es.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.es.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.es.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.es.html 2 May 2017 20:00:03 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.fa.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.fa.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.fa.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.fa.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.fr.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.fr.html,v
retrieving revision 1.96
retrieving revision 1.97
diff -u -b -r1.96 -r1.97
--- manual/allgnupkgs.fr.html 21 Apr 2017 18:59:53 -0000 1.96
+++ manual/allgnupkgs.fr.html 2 May 2017 20:00:04 -0000 1.97
@@ -1,5 +1,5 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archivage</a> - <a href="#Audio">Audio</a> - <a
href="#Business">Entreprise et productivité</a> - <a
@@ -849,6 +849,10 @@
<td>Simulation et analyse par les méthodes de Monte-Carlo. [<a
href="/software/mcsim/">mcsim â accueil</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program. [<a
+href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>Bibliothèque C pour l'arithmétique complexe multiprécision. [<a
@@ -1180,6 +1184,7 @@
href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a> <a
href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc</a> <a
href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a> <a
+href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a> <a
href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a> <a
href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a> <a
href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a> <a
@@ -1562,6 +1567,10 @@
title="Generic Security Services">GSS</abbr>). [<a
href="/software/gss/">gss â accueil</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile. [<a
+href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Portage vers Java de GNU getopt. [<a
@@ -1984,4 +1993,4 @@
href="#Video">Vidéo</a> - <a href="#Web">Création web</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.he.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.he.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.he.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.he.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.hr.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.hr.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.hr.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.hr.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.id.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.id.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.id.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.id.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.it.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.it.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.it.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.it.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ja.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ja.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ja.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.ja.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ko.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ko.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ko.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.ko.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.lt.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.lt.html,v
retrieving revision 1.44
retrieving revision 1.45
diff -u -b -r1.44 -r1.45
--- manual/allgnupkgs.lt.html 21 Apr 2017 12:30:13 -0000 1.44
+++ manual/allgnupkgs.lt.html 2 May 2017 20:00:04 -0000 1.45
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ml.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ml.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ml.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.ml.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.nb.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.nb.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.nb.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.nb.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.nl.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.nl.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.nl.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.nl.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.pl.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.pl.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.pl.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.pl.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.pt-br.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.pt-br.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.pt-br.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.pt-br.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ro.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ro.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ro.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.ro.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ru.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ru.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ru.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.ru.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.sk.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.sk.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.sk.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.sk.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.sq.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.sq.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.sq.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.sq.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.sr.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.sr.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.sr.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.sr.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.sv.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.sv.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.sv.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.sv.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.ta.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.ta.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.ta.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.ta.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.tr.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.tr.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.tr.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.tr.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.uk.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.uk.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.uk.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.uk.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.zh-cn.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.zh-cn.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.zh-cn.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.zh-cn.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/allgnupkgs.zh-tw.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.zh-tw.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -b -r1.58 -r1.59
--- manual/allgnupkgs.zh-tw.html 21 Apr 2017 12:30:13 -0000 1.58
+++ manual/allgnupkgs.zh-tw.html 2 May 2017 20:00:04 -0000 1.59
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<p>
<a href="#Archiving">Archiving</a> -
<a href="#Audio">Audio</a> -
@@ -796,6 +796,10 @@
<td>Monte Carlo simulation and analysis.
[<a href="/software/mcsim/">mcsim home</a>]</td></tr>
+<tr id="metalogic-inference"><td>* <a
href="/software/metalogic-inference/">MLI</a></td>
+ <td>Logical proof program.
+ [<a
href="/software/metalogic-inference/">metalogic-inference home</a>]</td></tr>
+
<tr id="mpc"><td>* <a
href="http://www.multiprecision.org/index.php?prog=mpc&page=documentation";>Mpc</a></td>
<td>C library for arbitrary precision complex arithmetic.
[<a href="/software/mpc/">mpc home</a>]</td></tr>
@@ -1113,6 +1117,7 @@
<a href="http://gcc.gnu.org/onlinedocs/cppinternals/";>cppinternals</a>
<a href="http://gcc.gnu.org/onlinedocs/gcc/";>gcc<!-- again --></a>
<a href="http://gcc.gnu.org/onlinedocs/gccint/";>gccint</a>
+ <a href="http://gcc.gnu.org/onlinedocs/gcj/";>gcj</a>
<a href="http://gcc.gnu.org/onlinedocs/gfc-internals/";>gfc-internals</a>
<a href="http://gcc.gnu.org/onlinedocs/gfortran/";>gfortran</a>
<a href="http://gcc.gnu.org/onlinedocs/gnat-style/";>gnat-style</a>
@@ -1472,6 +1477,10 @@
<td>Generic Security Service library.
[<a href="/software/gss/">gss home</a>]</td></tr>
+<tr id="guile-cv"><td>* <a href="/software/guile-cv/">Guile-cv</a></td>
+ <td>GObject Introspection for Guile.
+ [<a href="/software/guile-cv/">guile-cv home</a>]</td></tr>
+
<tr id="java-getopt"><td>* <a
href="http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html";>Java-getopt</a></td>
<td>Java port of GNU getopt.
[<a href="/software/java-getopt/">java-getopt home</a>]</td></tr>
@@ -1886,4 +1895,4 @@
<a href="#Web">Web authoring</a> -
</p>
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: manual/po/allgnupkgs.de.po
===================================================================
RCS file: /web/www/www/manual/po/allgnupkgs.de.po,v
retrieving revision 1.123
retrieving revision 1.124
diff -u -b -r1.123 -r1.124
--- manual/po/allgnupkgs.de.po 21 Apr 2017 12:30:13 -0000 1.123
+++ manual/po/allgnupkgs.de.po 2 May 2017 20:00:04 -0000 1.124
@@ -7,7 +7,7 @@
msgstr ""
"Project-Id-Version: allgnupkgs.html\n"
"Report-Msgid-Bugs-To: Webmasters <address@hidden>\n"
-"POT-Creation-Date: 2017-04-21 12:27+0000\n"
+"POT-Creation-Date: 2017-05-02 19:57+0000\n"
"PO-Revision-Date: 2017-02-09 22:00+0100\n"
"Last-Translator: Jоегg Kоhпе <joeko (AT) online [PUNKT] de>\n"
"Language-Team: German <address@hidden>\n"
@@ -2259,6 +2259,30 @@
"Startseite]"
#. type: Content of: <table><tr><td>
+# | * <a [-href=\"/software/mcron/\">Mcron</a>-]
+# | {+href=\"/software/metalogic-inference/\">MLI</a>+}
+#, fuzzy
+#| msgid "* <a href=\"/software/mcron/\">Mcron</a>"
+msgid "* <a href=\"/software/metalogic-inference/\">MLI</a>"
+msgstr "* <a href=\"/software/mcron/\">Mcron</a>"
+
+#. type: Content of: <table><tr><td>
+# | [-Automated program generator.-]{+Logical proof program.+} [<a
+# | [-href=\"/software/autogen/\">autogen home</a>]-]
+# | {+href=\"/software/metalogic-inference/\">metalogic-inference home</a>
+# | ]+}
+#, fuzzy
+#| msgid ""
+#| "Automated program generator. [<a href=\"/software/autogen/"
+#| "\">autogen home</a>]"
+msgid ""
+"Logical proof program. [<a href=\"/software/metalogic-inference/"
+"\">metalogic-inference home</a>]"
+msgstr ""
+"Automatische Programmerstellung. [<a href=\"/software/autogen/\">Autogen</a>-"
+"Startseite]"
+
+#. type: Content of: <table><tr><td>
msgid ""
"* <a href=\"http://www.multiprecision.org/index.php?prog=mpc&";
"page=documentation\">Mpc</a>"
@@ -3180,12 +3204,13 @@
# | href=\"http://gcc.gnu.org/onlinedocs/cppinternals/\";>cppinternals</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/gcc/\";>gcc</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</a> <a
-# | [-href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a-]
+# | href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-internals</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/gnat_rm/\";>gnat_rm</a> <a
-# | href=\"http://gcc.gnu.org/onlinedocs/gnat_ugn/\";>gnat_ugn</a> <a
+# | [-href=\"http://gcc.gnu.org/onlinedocs/gnat_ugn_unw/\";>gnat_ugn_unw</a>-]
+# | {+href=\"http://gcc.gnu.org/onlinedocs/gnat_ugn/\";>gnat_ugn</a>+} <a
# | href=\"http://gcc.gnu.org/onlinedocs/libgomp/\";>libgomp</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/libiberty/\";>libiberty</a> <a
# | href=\"http://gcc.gnu.org/onlinedocs/libstdc++/\";>libstdc++</a>)</small>
@@ -3200,23 +3225,24 @@
#| "href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a href="
#| "\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a href="
#| "\"http://gcc.gnu.org/onlinedocs/gnat_rm/\";>gnat_rm</a> <a href=\"http://";
-#| "gcc.gnu.org/onlinedocs/gnat_ugn/\">gnat_ugn</a> <a href=\"http://gcc.gnu.";
-#| "org/onlinedocs/libgomp/\">libgomp</a> <a href=\"http://gcc.gnu.org/";
-#| "onlinedocs/libiberty/\">libiberty</a> <a href=\"http://gcc.gnu.org/";
+#| "gcc.gnu.org/onlinedocs/gnat_ugn_unw/\">gnat_ugn_unw</a> <a href=\"http://";
+#| "gcc.gnu.org/onlinedocs/libgomp/\">libgomp</a> <a href=\"http://gcc.gnu.";
+#| "org/onlinedocs/libiberty/\">libiberty</a> <a href=\"http://gcc.gnu.org/";
#| "onlinedocs/libstdc++/\">libstdc++</a>)</small>"
msgid ""
"* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"http://gcc.gnu.org/";
"onlinedocs/cpp/\">cpp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
"cppinternals/\">cppinternals</a> <a href=\"http://gcc.gnu.org/onlinedocs/gcc/";
"\">gcc</a> <a href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</a> <a "
-"href=\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-internals</a> <a "
-"href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a href="
-"\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a href="
-"\"http://gcc.gnu.org/onlinedocs/gnat_rm/\";>gnat_rm</a> <a href=\"http://gcc.";
-"gnu.org/onlinedocs/gnat_ugn/\">gnat_ugn</a> <a href=\"http://gcc.gnu.org/";
-"onlinedocs/libgomp/\">libgomp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
-"libiberty/\">libiberty</a> <a href=\"http://gcc.gnu.org/onlinedocs/libstdc++/";
-"\">libstdc++</a>)</small>"
+"href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a href=\"http://gcc.gnu.";
+"org/onlinedocs/gfc-internals/\">gfc-internals</a> <a href=\"http://gcc.gnu.";
+"org/onlinedocs/gfortran/\">gfortran</a> <a href=\"http://gcc.gnu.org/";
+"onlinedocs/gnat-style/\">gnat-style</a> <a href=\"http://gcc.gnu.org/";
+"onlinedocs/gnat_rm/\">gnat_rm</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+"gnat_ugn/\">gnat_ugn</a> <a href=\"http://gcc.gnu.org/onlinedocs/libgomp/";
+"\">libgomp</a> <a href=\"http://gcc.gnu.org/onlinedocs/libiberty/";
+"\">libiberty</a> <a href=\"http://gcc.gnu.org/onlinedocs/libstdc++/\";>libstdc"
+"++</a>)</small>"
msgstr ""
"* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"//gcc.gnu.org/"
"onlinedocs/cpp/\">cpp</a> <a href=\"//gcc.gnu.org/onlinedocs/cppinternals/"
@@ -3226,7 +3252,7 @@
"\">gfc-internals</a> <a href=\"//gcc.gnu.org/onlinedocs/gfortran/"
"\">gfortran</a> <a href=\"//gcc.gnu.org/onlinedocs/gnat-style/\">gnat-style</"
"a> <a href=\"//gcc.gnu.org/onlinedocs/gnat_rm/\">gnat_rm</a> <a href=\"//gcc."
-"gnu.org/onlinedocs/gnat_ugn/\">gnat_ugn</a> <a href=\"//gcc.gnu.org/"
+"gnu.org/onlinedocs/gnat_ugn_unw/\">gnat_ugn_unw</a> <a href=\"//gcc.gnu.org/"
"onlinedocs/libgomp/\">libgomp</a> <a href=\"//gcc.gnu.org/onlinedocs/"
"libiberty/\">libiberty</a> <a href=\"//gcc.gnu.org/onlinedocs/libstdc++/"
"\">libstdc++</a>)</small>"
@@ -4270,6 +4296,29 @@
"href=\"/software/gss/\">GSS</a>-Startseite]"
#. type: Content of: <table><tr><td>
+# | * <a [-href=\"/software/guile-sdl/doc/\">Guile-sdl</a>-]
+# | {+href=\"/software/guile-cv/\">Guile-cv</a>+}
+#, fuzzy
+#| msgid "* <a href=\"/software/guile-sdl/doc/\">Guile-sdl</a>"
+msgid "* <a href=\"/software/guile-cv/\">Guile-cv</a>"
+msgstr "* <a href=\"/software"
+
+#. type: Content of: <table><tr><td>
+# | [-Guile database abstraction layer.-]{+GObject Introspection for Guile.+}
+# | [<a [-href=\"/software/guile-dbi/\">guile-dbi home</a>]-]
+# | {+href=\"/software/guile-cv/\">guile-cv home</a>]+}
+#, fuzzy
+#| msgid ""
+#| "Guile database abstraction layer. [<a href=\"/software/guile-dbi/"
+#| "\">guile-dbi home</a>]"
+msgid ""
+"GObject Introspection for Guile. [<a href=\"/software/guile-cv/\">guile-"
+"cv home</a>]"
+msgstr ""
+"GUILE-Datenbank-Abstraktionsschicht. [<a href=\"/software/guile-dbi/\">GUILE-"
+"DBI</a>-Startseite]"
+
+#. type: Content of: <table><tr><td>
msgid ""
"* <a href=\"http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.";
"getopt.html\">Java-getopt</a>"
@@ -5386,6 +5435,49 @@
"Einfaches XML zur Definition und Umsetzung von Auszeichnungssprachen. [<a "
"href=\"/software/xmlat/\">XMLAT</a>-Startseite]"
+#, fuzzy
+#~| msgid ""
+#~| "* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"http://gcc.gnu.";
+#~| "org/onlinedocs/cpp/\">cpp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+#~| "cppinternals/\">cppinternals</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+#~| "gcc/\">gcc</a> <a href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</"
+#~| "a> <a href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a href="
+#~| "\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-internals</a> <a "
+#~| "href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a href="
+#~| "\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a href="
+#~| "\"http://gcc.gnu.org/onlinedocs/gnat_rm/\";>gnat_rm</a> <a href=\"http://";
+#~| "gcc.gnu.org/onlinedocs/gnat_ugn/\">gnat_ugn</a> <a href=\"http://gcc.gnu.";
+#~| "org/onlinedocs/libgomp/\">libgomp</a> <a href=\"http://gcc.gnu.org/";
+#~| "onlinedocs/libiberty/\">libiberty</a> <a href=\"http://gcc.gnu.org/";
+#~| "onlinedocs/libstdc++/\">libstdc++</a>)</small>"
+#~ msgid ""
+#~ "* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"http://gcc.gnu.org/";
+#~ "onlinedocs/cpp/\">cpp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+#~ "cppinternals/\">cppinternals</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+#~ "gcc/\">gcc</a> <a href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</"
+#~ "a> <a href=\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-"
+#~ "internals</a> <a href=\"http://gcc.gnu.org/onlinedocs/gfortran/";
+#~ "\">gfortran</a> <a href=\"http://gcc.gnu.org/onlinedocs/gnat-style/";
+#~ "\">gnat-style</a> <a href=\"http://gcc.gnu.org/onlinedocs/gnat_rm/";
+#~ "\">gnat_rm</a> <a href=\"http://gcc.gnu.org/onlinedocs/gnat_ugn/";
+#~ "\">gnat_ugn</a> <a href=\"http://gcc.gnu.org/onlinedocs/libgomp/";
+#~ "\">libgomp</a> <a href=\"http://gcc.gnu.org/onlinedocs/libiberty/";
+#~ "\">libiberty</a> <a href=\"http://gcc.gnu.org/onlinedocs/libstdc++/";
+#~ "\">libstdc++</a>)</small>"
+#~ msgstr ""
+#~ "* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"//gcc.gnu.org/"
+#~ "onlinedocs/cpp/\">cpp</a> <a href=\"//gcc.gnu.org/onlinedocs/cppinternals/"
+#~ "\">cppinternals</a> <a href=\"//gcc.gnu.org/onlinedocs/gcc/\">gcc</a> <a "
+#~ "href=\"//gcc.gnu.org/onlinedocs/gccint/\">gccint</a> <a href=\"//gcc.gnu."
+#~ "org/onlinedocs/gcj/\">gcj</a> <a href=\"//gcc.gnu.org/onlinedocs/gfc-"
+#~ "internals/\">gfc-internals</a> <a href=\"//gcc.gnu.org/onlinedocs/"
+#~ "gfortran/\">gfortran</a> <a href=\"//gcc.gnu.org/onlinedocs/gnat-style/"
+#~ "\">gnat-style</a> <a href=\"//gcc.gnu.org/onlinedocs/gnat_rm/\">gnat_rm</"
+#~ "a> <a href=\"//gcc.gnu.org/onlinedocs/gnat_ugn/\">gnat_ugn</a> <a href="
+#~ "\"//gcc.gnu.org/onlinedocs/libgomp/\">libgomp</a> <a href=\"//gcc.gnu.org/"
+#~ "onlinedocs/libiberty/\">libiberty</a> <a href=\"//gcc.gnu.org/onlinedocs/"
+#~ "libstdc++/\">libstdc++</a>)</small>"
+
#~ msgid "* <a href=\"http://community.ofset.org/index.php/DrGeo\";>Dr. Geo</a>"
#~ msgstr "* <a href=\"//community.ofset.org/index.php/DrGeo\">Dr. Geo</a>"
@@ -5505,34 +5597,6 @@
#~ "href=\"/software/java-training-wheels/\">Java-Training-Wheels/a>]</a>-"
#~ "Startseite]"
-#~ msgid ""
-#~ "* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"http://gcc.gnu.org/";
-#~ "onlinedocs/cpp/\">cpp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
-#~ "cppinternals/\">cppinternals</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
-#~ "gcc/\">gcc</a> <a href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</"
-#~ "a> <a href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a href="
-#~ "\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-internals</a> <a "
-#~ "href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a href="
-#~ "\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a href="
-#~ "\"http://gcc.gnu.org/onlinedocs/gnat_rm/\";>gnat_rm</a> <a href=\"http://";
-#~ "gcc.gnu.org/onlinedocs/gnat_ugn_unw/\">gnat_ugn_unw</a> <a href=\"http://";
-#~ "gcc.gnu.org/onlinedocs/libgomp/\">libgomp</a> <a href=\"http://gcc.gnu.";
-#~ "org/onlinedocs/libiberty/\">libiberty</a> <a href=\"http://gcc.gnu.org/";
-#~ "onlinedocs/libstdc++/\">libstdc++</a>)</small>"
-#~ msgstr ""
-#~ "* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"//gcc.gnu.org/"
-#~ "onlinedocs/cpp/\">cpp</a> <a href=\"//gcc.gnu.org/onlinedocs/cppinternals/"
-#~ "\">cppinternals</a> <a href=\"//gcc.gnu.org/onlinedocs/gcc/\">gcc</a> <a "
-#~ "href=\"//gcc.gnu.org/onlinedocs/gccint/\">gccint</a> <a href=\"//gcc.gnu."
-#~ "org/onlinedocs/gcj/\">gcj</a> <a href=\"//gcc.gnu.org/onlinedocs/gfc-"
-#~ "internals/\">gfc-internals</a> <a href=\"//gcc.gnu.org/onlinedocs/"
-#~ "gfortran/\">gfortran</a> <a href=\"//gcc.gnu.org/onlinedocs/gnat-style/"
-#~ "\">gnat-style</a> <a href=\"//gcc.gnu.org/onlinedocs/gnat_rm/\">gnat_rm</"
-#~ "a> <a href=\"//gcc.gnu.org/onlinedocs/gnat_ugn_unw/\">gnat_ugn_unw</a> <a "
-#~ "href=\"//gcc.gnu.org/onlinedocs/libgomp/\">libgomp</a> <a href=\"//gcc."
-#~ "gnu.org/onlinedocs/libiberty/\">libiberty</a> <a href=\"//gcc.gnu.org/"
-#~ "onlinedocs/libstdc++/\">libstdc++</a>)</small>"
-
#~ msgid "* <a href=\"/software/texmacs/\">Texmacs</a>"
#~ msgstr "* <a href=\"/software/texmacs/\">TeXmacs</a>"
@@ -6105,6 +6169,3 @@
#~ msgid "* <a href=\"/software/gnuskies/\">GNUskies</a>"
#~ msgstr "* <a href=\"/software/gnuskies/\">GNUskies</a>"
-
-#~ msgid "* <a href=\"/software/guile-sdl/doc/\">Guile-sdl</a>"
-#~ msgstr "* <a href=\"/software"
Index: manual/po/allgnupkgs.fr.po
===================================================================
RCS file: /web/www/www/manual/po/allgnupkgs.fr.po,v
retrieving revision 1.111
retrieving revision 1.112
diff -u -b -r1.111 -r1.112
--- manual/po/allgnupkgs.fr.po 21 Apr 2017 18:59:53 -0000 1.111
+++ manual/po/allgnupkgs.fr.po 2 May 2017 20:00:04 -0000 1.112
@@ -9,7 +9,7 @@
msgid ""
msgstr ""
"Project-Id-Version: allgnupkgs.html\n"
-"POT-Creation-Date: 2017-04-21 12:27+0000\n"
+"POT-Creation-Date: 2017-05-02 19:57+0000\n"
"PO-Revision-Date: 2017-04-21 20:25+0200\n"
"Last-Translator: Thérèse Godefroy <godef.th AT free.fr>\n"
"Language-Team: French <address@hidden>\n"
@@ -17,6 +17,7 @@
"MIME-Version: 1.0\n"
"Content-Type: text/plain; charset=UTF-8\n"
"Content-Transfer-Encoding: 8bit\n"
+"X-Outdated-Since: 2017-05-02 19:57+0000\n"
"X-Generator: Gtranslator 2.91.5\n"
"Plural-Forms: \n"
@@ -2280,6 +2281,30 @@
"mcsim/\">mcsim â accueil</a>]"
#. type: Content of: <table><tr><td>
+# | * <a [-href=\"/software/mcron/\">Mcron</a>-]
+# | {+href=\"/software/metalogic-inference/\">MLI</a>+}
+#, fuzzy
+#| msgid "* <a href=\"/software/mcron/\">Mcron</a>"
+msgid "* <a href=\"/software/metalogic-inference/\">MLI</a>"
+msgstr "* <a href=\"/software/mcron/\">Mcron</a>"
+
+#. type: Content of: <table><tr><td>
+# | [-Automated program generator.-]{+Logical proof program.+} [<a
+# | [-href=\"/software/autogen/\">autogen home</a>]-]
+# | {+href=\"/software/metalogic-inference/\">metalogic-inference home</a>
+# | ]+}
+#, fuzzy
+#| msgid ""
+#| "Automated program generator. [<a href=\"/software/autogen/"
+#| "\">autogen home</a>]"
+msgid ""
+"Logical proof program. [<a href=\"/software/metalogic-inference/"
+"\">metalogic-inference home</a>]"
+msgstr ""
+"Génère automatiquement [certaines parties répétitives] d'un programme.
[<a "
+"href=\"/software/autogen/\">autogen â accueil</a>]"
+
+#. type: Content of: <table><tr><td>
msgid ""
"* <a href=\"http://www.multiprecision.org/index.php?prog=mpc&";
"page=documentation\">Mpc</a>"
@@ -3193,19 +3218,49 @@
#. again
#. type: Content of: <table><tr><td>
+# | * <a href=\"/software/gcc/\">GCC</a> <small>(<a
+# | href=\"http://gcc.gnu.org/onlinedocs/cpp/\";>cpp</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/cppinternals/\";>cppinternals</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/gcc/\";>gcc</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</a> <a
+# | {+href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a+}
+# | href=\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-internals</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/gnat_rm/\";>gnat_rm</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/gnat_ugn/\";>gnat_ugn</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/libgomp/\";>libgomp</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/libiberty/\";>libiberty</a> <a
+# | href=\"http://gcc.gnu.org/onlinedocs/libstdc++/\";>libstdc++</a>)</small>
+#, fuzzy
+#| msgid ""
+#| "* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"http://gcc.gnu.org/";
+#| "onlinedocs/cpp/\">cpp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+#| "cppinternals/\">cppinternals</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+#| "gcc/\">gcc</a> <a href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</"
+#| "a> <a href=\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-"
+#| "internals</a> <a href=\"http://gcc.gnu.org/onlinedocs/gfortran/";
+#| "\">gfortran</a> <a href=\"http://gcc.gnu.org/onlinedocs/gnat-style/";
+#| "\">gnat-style</a> <a href=\"http://gcc.gnu.org/onlinedocs/gnat_rm/";
+#| "\">gnat_rm</a> <a href=\"http://gcc.gnu.org/onlinedocs/gnat_ugn/";
+#| "\">gnat_ugn</a> <a href=\"http://gcc.gnu.org/onlinedocs/libgomp/";
+#| "\">libgomp</a> <a href=\"http://gcc.gnu.org/onlinedocs/libiberty/";
+#| "\">libiberty</a> <a href=\"http://gcc.gnu.org/onlinedocs/libstdc++/";
+#| "\">libstdc++</a>)</small>"
msgid ""
"* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"http://gcc.gnu.org/";
"onlinedocs/cpp/\">cpp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
"cppinternals/\">cppinternals</a> <a href=\"http://gcc.gnu.org/onlinedocs/gcc/";
"\">gcc</a> <a href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</a> <a "
-"href=\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-internals</a> <a "
-"href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a href="
-"\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a href="
-"\"http://gcc.gnu.org/onlinedocs/gnat_rm/\";>gnat_rm</a> <a href=\"http://gcc.";
-"gnu.org/onlinedocs/gnat_ugn/\">gnat_ugn</a> <a href=\"http://gcc.gnu.org/";
-"onlinedocs/libgomp/\">libgomp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
-"libiberty/\">libiberty</a> <a href=\"http://gcc.gnu.org/onlinedocs/libstdc++/";
-"\">libstdc++</a>)</small>"
+"href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a href=\"http://gcc.gnu.";
+"org/onlinedocs/gfc-internals/\">gfc-internals</a> <a href=\"http://gcc.gnu.";
+"org/onlinedocs/gfortran/\">gfortran</a> <a href=\"http://gcc.gnu.org/";
+"onlinedocs/gnat-style/\">gnat-style</a> <a href=\"http://gcc.gnu.org/";
+"onlinedocs/gnat_rm/\">gnat_rm</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
+"gnat_ugn/\">gnat_ugn</a> <a href=\"http://gcc.gnu.org/onlinedocs/libgomp/";
+"\">libgomp</a> <a href=\"http://gcc.gnu.org/onlinedocs/libiberty/";
+"\">libiberty</a> <a href=\"http://gcc.gnu.org/onlinedocs/libstdc++/\";>libstdc"
+"++</a>)</small>"
msgstr ""
"* <a href=\"/software/gcc/\">GCC</a> <small>(<a href=\"http://gcc.gnu.org/";
"onlinedocs/cpp/\">cpp</a> <a href=\"http://gcc.gnu.org/onlinedocs/";
@@ -4271,6 +4326,29 @@
"\">gss â accueil</a>]"
#. type: Content of: <table><tr><td>
+# | * <a [-href=\"/software/guile-rpc/manual/\">Guile-rpc</a>-]
+# | {+href=\"/software/guile-cv/\">Guile-cv</a>+}
+#, fuzzy
+#| msgid "* <a href=\"/software/guile-rpc/manual/\">Guile-rpc</a>"
+msgid "* <a href=\"/software/guile-cv/\">Guile-cv</a>"
+msgstr "* <a href=\"/software/guile-rpc/manual/\">Guile-rpc</a>"
+
+#. type: Content of: <table><tr><td>
+# | [-Guile database abstraction layer.-]{+GObject Introspection for Guile.+}
+# | [<a [-href=\"/software/guile-dbi/\">guile-dbi home</a>]-]
+# | {+href=\"/software/guile-cv/\">guile-cv home</a>]+}
+#, fuzzy
+#| msgid ""
+#| "Guile database abstraction layer. [<a href=\"/software/guile-dbi/"
+#| "\">guile-dbi home</a>]"
+msgid ""
+"GObject Introspection for Guile. [<a href=\"/software/guile-cv/\">guile-"
+"cv home</a>]"
+msgstr ""
+"Couche d'abstraction servant d'interface entre Guile et les bases de "
+"données. [<a href=\"/software/guile-dbi/\">guile-dbi â accueil</a>]"
+
+#. type: Content of: <table><tr><td>
msgid ""
"* <a href=\"http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.";
"getopt.html\">Java-getopt</a>"
Index: manual/po/allgnupkgs.pot.opt
===================================================================
RCS file: /web/www/www/manual/po/allgnupkgs.pot.opt,v
retrieving revision 1.45
retrieving revision 1.46
diff -u -b -r1.45 -r1.46
--- manual/po/allgnupkgs.pot.opt 21 Apr 2017 12:30:13 -0000 1.45
+++ manual/po/allgnupkgs.pot.opt 2 May 2017 20:00:04 -0000 1.46
@@ -7,7 +7,7 @@
msgid ""
msgstr ""
"Project-Id-Version: allgnupkgs.html\n"
-"POT-Creation-Date: 2017-04-21 12:27+0000\n"
+"POT-Creation-Date: 2017-05-02 19:57+0000\n"
"PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
"Last-Translator: FULL NAME <address@hidden>\n"
"Language-Team: LANGUAGE <address@hidden>\n"
@@ -1824,6 +1824,16 @@
msgstr ""
#. type: Content of: <table><tr><td>
+msgid "* <a href=\"/software/metalogic-inference/\">MLI</a>"
+msgstr ""
+
+#. type: Content of: <table><tr><td>
+msgid ""
+"Logical proof program. [<a "
+"href=\"/software/metalogic-inference/\">metalogic-inference home</a>]"
+msgstr ""
+
+#. type: Content of: <table><tr><td>
msgid ""
"* <a "
"href=\"http://www.multiprecision.org/index.php?prog=mpc&page=documentation\";>Mpc</a>"
@@ -2568,6 +2578,7 @@
"href=\"http://gcc.gnu.org/onlinedocs/cppinternals/\";>cppinternals</a> <a "
"href=\"http://gcc.gnu.org/onlinedocs/gcc/\";>gcc</a> <a "
"href=\"http://gcc.gnu.org/onlinedocs/gccint/\";>gccint</a> <a "
+"href=\"http://gcc.gnu.org/onlinedocs/gcj/\";>gcj</a> <a "
"href=\"http://gcc.gnu.org/onlinedocs/gfc-internals/\";>gfc-internals</a> <a "
"href=\"http://gcc.gnu.org/onlinedocs/gfortran/\";>gfortran</a> <a "
"href=\"http://gcc.gnu.org/onlinedocs/gnat-style/\";>gnat-style</a> <a "
@@ -3424,6 +3435,16 @@
msgstr ""
#. type: Content of: <table><tr><td>
+msgid "* <a href=\"/software/guile-cv/\">Guile-cv</a>"
+msgstr ""
+
+#. type: Content of: <table><tr><td>
+msgid ""
+"GObject Introspection for Guile. [<a "
+"href=\"/software/guile-cv/\">guile-cv home</a>]"
+msgstr ""
+
+#. type: Content of: <table><tr><td>
msgid ""
"* <a "
"href=\"http://www.urbanophile.com/arenn/hacking/getopt/Package-gnu.getopt.html\";>Java-getopt</a>"
Index: server/home-pkgblurbs.af.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.af.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.af.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.af.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ar.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ar.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.ar.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.ar.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.bg.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.bg.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.bg.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.bg.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ca.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ca.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.ca.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.ca.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.cs.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.cs.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.cs.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.cs.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.da.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.da.html,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -b -r1.37 -r1.38
--- server/home-pkgblurbs.da.html 21 Apr 2017 12:30:14 -0000 1.37
+++ server/home-pkgblurbs.da.html 2 May 2017 20:00:05 -0000 1.38
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.de.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.de.html,v
retrieving revision 1.128
retrieving revision 1.129
diff -u -b -r1.128 -r1.129
--- server/home-pkgblurbs.de.html 21 Apr 2017 12:30:14 -0000 1.128
+++ server/home-pkgblurbs.de.html 2 May 2017 20:00:05 -0000 1.129
@@ -1,6 +1,6 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf">
<!-- TRANSLATORS: stale -->
@@ -4159,4 +4159,4 @@
href="/manual/#zile">Handbuch</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.el.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.el.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.el.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.el.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.es.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.es.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.es.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.es.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.fa.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.fa.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.fa.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.fa.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.fr.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.fr.html,v
retrieving revision 1.119
retrieving revision 1.120
diff -u -b -r1.119 -r1.120
--- server/home-pkgblurbs.fr.html 21 Apr 2017 18:59:54 -0000 1.119
+++ server/home-pkgblurbs.fr.html 2 May 2017 20:00:05 -0000 1.120
@@ -1,6 +1,6 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf">
<!-- TRANSLATORS: stale -->
@@ -4226,4 +4226,4 @@
href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.he.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.he.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.he.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.he.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.hr.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.hr.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.hr.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.hr.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.id.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.id.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.id.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.id.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.it.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.it.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.it.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.it.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ja.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ja.html,v
retrieving revision 1.135
retrieving revision 1.136
diff -u -b -r1.135 -r1.136
--- server/home-pkgblurbs.ja.html 21 Apr 2017 12:30:14 -0000 1.135
+++ server/home-pkgblurbs.ja.html 2 May 2017 20:00:05 -0000 1.136
@@ -1,6 +1,6 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf">
<!-- TRANSLATORS: stale -->
@@ -3159,4 +3159,4 @@
href="/manual/manual.html#zile">ããã¥ã¡ã³ã</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ko.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ko.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.ko.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.ko.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.lt.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.lt.html,v
retrieving revision 1.43
retrieving revision 1.44
diff -u -b -r1.43 -r1.44
--- server/home-pkgblurbs.lt.html 21 Apr 2017 12:30:14 -0000 1.43
+++ server/home-pkgblurbs.lt.html 2 May 2017 20:00:05 -0000 1.44
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ml.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ml.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.ml.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.ml.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.nb.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.nb.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.nb.html 21 Apr 2017 12:30:14 -0000 1.64
+++ server/home-pkgblurbs.nb.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.nl.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.nl.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.nl.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.nl.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.pl.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.pl.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.pl.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.pl.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.pt-br.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.pt-br.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.pt-br.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.pt-br.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ro.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ro.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.ro.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.ro.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ru.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ru.html,v
retrieving revision 1.135
retrieving revision 1.136
diff -u -b -r1.135 -r1.136
--- server/home-pkgblurbs.ru.html 21 Apr 2017 14:29:24 -0000 1.135
+++ server/home-pkgblurbs.ru.html 2 May 2017 20:00:05 -0000 1.136
@@ -1,6 +1,6 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf">
<!-- TRANSLATORS: stale -->
@@ -4041,4 +4041,4 @@
менÑÑе ÑÑнкÑий. <small>(<a
href="/manual/manual.html#zile">док</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.sk.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.sk.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.sk.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.sk.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.sq.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.sq.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.sq.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.sq.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.sr.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.sr.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.sr.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.sr.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.sv.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.sv.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.sv.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.sv.html 2 May 2017 20:00:05 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.ta.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.ta.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.ta.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.ta.html 2 May 2017 20:00:06 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.tr.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.tr.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.tr.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.tr.html 2 May 2017 20:00:06 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.uk.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.uk.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.uk.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.uk.html 2 May 2017 20:00:06 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.zh-cn.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.zh-cn.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.zh-cn.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.zh-cn.html 2 May 2017 20:00:06 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
Index: server/home-pkgblurbs.zh-tw.html
===================================================================
RCS file: /web/www/www/server/home-pkgblurbs.zh-tw.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -u -b -r1.64 -r1.65
--- server/home-pkgblurbs.zh-tw.html 21 Apr 2017 12:30:15 -0000 1.64
+++ server/home-pkgblurbs.zh-tw.html 2 May 2017 20:00:06 -0000 1.65
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- File generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
<!--#if expr="$pkg_selection = /:(3dldf|ALL):/" -->
<h4 id="pkg_3dldf"><!-- TRANSLATORS: stale -->
@@ -3794,4 +3794,4 @@
<small>(<a href="/manual/manual.html#zile">doc</a>)</small></p>
<!--#endif -->
-<!-- End file generated by womb/gnumaint/gm Fri Apr 21 07:45:47 EDT 2017 -->
+<!-- End file generated by womb/gnumaint/gm Tue May 2 15:40:19 EDT 2017 -->
- www manual/allgnupkgs.af.html manual/allgnupkgs...,
GNUN <=