www software/allgnupkgs.html manual/allgnupkgs....

[Karl Berry]

CVSROOT:        /web/www
Module name:    www
Changes by:     Karl Berry <karl>       12/05/13 21:59:43

Modified files:
        software       : allgnupkgs.html 
        manual         : allgnupkgs.html 

Log message:
        regen

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/software/allgnupkgs.html?cvsroot=www&r1=1.20&r2=1.21
http://web.cvs.savannah.gnu.org/viewcvs/www/manual/allgnupkgs.html?cvsroot=www&r1=1.30&r2=1.31

Patches:
Index: software/allgnupkgs.html
===================================================================
RCS file: /web/www/www/software/allgnupkgs.html,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -b -r1.20 -r1.21
--- software/allgnupkgs.html    6 Apr 2012 22:45:22 -0000       1.20
+++ software/allgnupkgs.html    13 May 2012 21:59:16 -0000      1.21
@@ -1,14 +1,14 @@
-<!-- File generated by womb/gnumaint/gm Fri Apr  6 15:44:53 PDT 2012 -->
+<!-- File generated by womb/gnumaint/gm Sun May 13 14:57:22 PDT 2012 -->
 <a href="3dldf/">3dldf</a>&nbsp;
 <a href="a2ps/">a2ps</a>&nbsp;
 <a href="acct/">acct</a>&nbsp;
 <a href="acm/">acm</a>&nbsp;
 <a href="adns/">adns</a>&nbsp;
-<a href="aeneas/">aeneas</a>&nbsp;
 <a href="aetherspace/">aetherspace</a>&nbsp;
 <a href="alive/">alive</a>&nbsp;
 <a href="anubis/">anubis</a>&nbsp;
 <a href="archimedes/">archimedes</a>&nbsp;
+<a href="aris/">aris</a>&nbsp;
 <a href="aspell/">aspell</a>&nbsp;
 <a href="auctex/">auctex</a>&nbsp;
 <a href="autoconf/">autoconf</a>&nbsp;
@@ -334,7 +334,6 @@
 <a href="stump/">stump</a>&nbsp;
 <a href="superopt/">superopt</a>&nbsp;
 <a href="swbis/">swbis</a>&nbsp;
-<a href="sxml/">sxml</a>&nbsp;
 <a href="sysutils/">sysutils</a>&nbsp;
 <a href="talkfilters/">talkfilters</a>&nbsp;
 <a href="tar/">tar</a>&nbsp;
@@ -371,7 +370,8 @@
 <a href="xboard/">xboard</a>&nbsp;
 <a href="xhippo/">xhippo</a>&nbsp;
 <a href="xlogmaster/">xlogmaster</a>&nbsp;
+<a href="xmlat/">xmlat</a>&nbsp;
 <a href="xnee/">xnee</a>&nbsp;
 <a href="xorriso/">xorriso</a>&nbsp;
 <a href="zile/">zile</a>&nbsp;
-<!-- End file generated by womb/gnumaint/gm Fri Apr  6 15:44:53 PDT 2012 -->
+<!-- End file generated by womb/gnumaint/gm Sun May 13 14:57:22 PDT 2012 -->

Index: manual/allgnupkgs.html
===================================================================
RCS file: /web/www/www/manual/allgnupkgs.html,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -b -r1.30 -r1.31
--- manual/allgnupkgs.html      15 Apr 2012 16:22:43 -0000      1.30
+++ manual/allgnupkgs.html      13 May 2012 21:59:28 -0000      1.31
@@ -1,4 +1,4 @@
-<!-- File generated by womb/gnumaint/gm Sun Apr 15 09:21:41 PDT 2012 -->
+<!-- File generated by womb/gnumaint/gm Sun May 13 14:58:56 PDT 2012 -->
 <p>
 <a href="#Archiving">Archiving</a> -
 <a href="#Audio">Audio</a> -
@@ -703,6 +703,10 @@
 <tr>
 <td id="Mathematics" colspan="2" style="padding-top:.8em; 
padding-left:16%;"><a 
href="http://directory.fsf.org/category/math/";><big><b>Mathematics</b></big></a></td></tr>
 
+<tr id="aris"><td>* <a href="/software/aris/">Aris</a></td>
+    <td>Natural deduction first-order logic interface.
+       [<a href="/software/aris/">aris&nbsp;home</a>]</td></tr>
+
 <tr id="bc"><td>* <a href="/software/bc/manual/bc.html">Bc</a></td>
     <td>Arbitrary precision numeric processing language.
        [<a href="/software/bc/">bc&nbsp;home</a>]</td></tr>
@@ -811,10 +815,6 @@
 <tr>
 <td id="Science" colspan="2" style="padding-top:.8em; padding-left:16%;"><a 
href="http://directory.fsf.org/category/science/";><big><b>Science</b></big></a></td></tr>
 
-<tr id="aeneas"><td>* <a href="/software/aeneas/#documentation">Aeneas</a></td>
-    <td>Design and simulation of submicron semiconductor devices.
-       [<a href="/software/aeneas/">aeneas&nbsp;home</a>]</td></tr>
-
 <tr id="archimedes"><td>* <a 
href="/software/archimedes/manual/">Archimedes</a></td>
     <td>Semiconductor device simulator.
        [<a href="/software/archimedes/">archimedes&nbsp;home</a>]</td></tr>
@@ -1782,6 +1782,10 @@
     <td>Authoring and publishing environment for Emacs.
        [<a href="/software/emacs-muse/">emacs-muse&nbsp;home</a>]</td></tr>
 
+<tr id="gnowsys"><td>* <a href="/software/gnowsys/">GNOWSYS</a></td>
+    <td>Distributed network-based memory and knowledge management.
+       [<a href="/software/gnowsys/">gnowsys&nbsp;home</a>]</td></tr>
+
 <tr id="grabcomics"><td>* <a 
href="http://server.phpgrabcomics.org/docs/";>phpGrabComics</a></td>
     <td>Saves comic strips from the web.
        [<a href="/software/grabcomics/">grabcomics&nbsp;home</a>]</td></tr>
@@ -1790,9 +1794,9 @@
     <td>Cross between HTML and Lisp, specifically designed for Web servers.
        [<a href="/software/metahtml/">metahtml&nbsp;home</a>]</td></tr>
 
-<tr id="sxml"><td>* <a href="/software/sxml/">Sxml</a></td>
+<tr id="xmlat"><td>* <a href="/software/xmlat/">Xmlat</a></td>
     <td>Simple XML for defining and implementing markup languages.
-       [<a href="/software/sxml/">sxml&nbsp;home</a>]</td></tr>
+       [<a href="/software/xmlat/">xmlat&nbsp;home</a>]</td></tr>
 </table>
 <p>
 <a href="#Archiving">Archiving</a> -
@@ -1830,4 +1834,4 @@
 <a href="#Web">Web&nbsp;authoring</a> -
 </p>
 
-<!-- End file generated by womb/gnumaint/gm Sun Apr 15 09:21:41 PDT 2012 -->
+<!-- End file generated by womb/gnumaint/gm Sun May 13 14:58:56 PDT 2012 -->