Index of /releases

Icon  Name                    Last modified      Size  Description
[TXT] PG-adapting.info        30-Apr-2012 14:20  208K  
[   ] ProofGeneral-2.0-1.n..> 17-Dec-1998 18:29  375K  
[   ] ProofGeneral-2.0-1.s..> 17-Dec-1998 18:29  405K  
[   ] ProofGeneral-2.0.tar.gz 17-Dec-1998 18:26  402K  
[   ] ProofGeneral-2.1-1.n..> 25-Aug-1999 18:38  2.0M  
[   ] ProofGeneral-2.1-1.s..> 25-Aug-1999 18:38  2.1M  
[   ] ProofGeneral-2.1.tar.gz 25-Aug-1999 18:37  2.1M  
[   ] ProofGeneral-3.0-1.n..> 30-Nov-1999 19:13  537K  
[   ] ProofGeneral-3.0-1.s..> 30-Nov-1999 19:13  522K  
[   ] ProofGeneral-3.0.tar.gz 30-Nov-1999 19:12  519K  
[DIR] ProofGeneral-3.0/       22-Nov-2000 17:53    -   
[   ] ProofGeneral-3.1-1.n..> 25-May-2000 18:40  554K  
[   ] ProofGeneral-3.1-1.s..> 25-May-2000 18:40  552K  
[   ] ProofGeneral-3.1.tar.gz 25-May-2000 18:38  548K  
[DIR] ProofGeneral-3.1/       22-Nov-2000 17:54    -   
[   ] ProofGeneral-3.2-1.n..> 02-Oct-2000 20:34  676K  
[   ] ProofGeneral-3.2-1.s..> 02-Oct-2000 20:34  669K  
[   ] ProofGeneral-3.2.tar.gz 02-Oct-2000 20:33  664K  
[DIR] ProofGeneral-3.2/       09-Sep-2001 17:35    -   
[   ] ProofGeneral-3.3-1.n..> 10-Sep-2001 14:00  703K  
[   ] ProofGeneral-3.3.tar.gz 10-Sep-2001 13:58  703K  
[DIR] ProofGeneral-3.3/       10-Sep-2001 13:58    -   
[   ] ProofGeneral-3.4-1.n..> 29-Aug-2002 16:05  783K  
[   ] ProofGeneral-3.4.tar.gz 29-Aug-2002 15:45  745K  
[DIR] ProofGeneral-3.4/       29-Aug-2002 15:45    -   
[   ] ProofGeneral-3.5-1.n..> 21-Apr-2004 21:06  1.5M  
[   ] ProofGeneral-3.5.tar.gz 21-Apr-2004 21:06  1.7M  
[DIR] ProofGeneral-3.5/       21-Apr-2004 21:06    -   
[   ] ProofGeneral-3.7-1.n..> 31-Jan-2008 23:51  2.1M  
[   ] ProofGeneral-3.7.1-1..> 24-Jul-2008 09:48  2.1M  
[   ] ProofGeneral-3.7.1.tgz  24-Jul-2008 09:46  1.9M  
[DIR] ProofGeneral-3.7.1/     24-Jul-2008 09:46    -   
[   ] ProofGeneral-3.7.tgz    31-Jan-2008 23:49  1.9M  
[DIR] ProofGeneral-3.7/       31-Jan-2008 23:49    -   
[   ] ProofGeneral-4.0.tgz    11-Oct-2010 01:37  1.3M  
[DIR] ProofGeneral-4.0/       11-Oct-2010 01:37    -   
[   ] ProofGeneral-4.0pre.tgz 10-Oct-2010 23:59  1.3M  
[DIR] ProofGeneral-4.0pre/    10-Oct-2010 23:59    -   
[   ] ProofGeneral-4.1.tgz    03-Oct-2011 10:05  1.4M  
[DIR] ProofGeneral-4.1/       03-Oct-2011 10:05    -   
[   ] ProofGeneral-4.1RC.tgz  10-Jun-2011 18:39  1.3M  
[DIR] ProofGeneral-4.1RC/     10-Jun-2011 18:39    -   
[   ] ProofGeneral-4.1RC2.tgz 22-Jun-2011 11:30  1.3M  
[DIR] ProofGeneral-4.1RC2/    22-Jun-2011 11:30    -   
[   ] ProofGeneral-4.1RC3.tgz 23-Aug-2011 14:54  1.4M  
[DIR] ProofGeneral-4.1RC3/    23-Aug-2011 14:54    -   
[   ] ProofGeneral-4.1RC4.tgz 24-Aug-2011 09:42  1.4M  
[DIR] ProofGeneral-4.1RC4/    24-Aug-2011 09:42    -   
[   ] ProofGeneral-4.1RC5.tgz 19-Sep-2011 12:19  1.4M  
[DIR] ProofGeneral-4.1RC5/    19-Sep-2011 12:19    -   
[   ] ProofGeneral-4.1pre1..> 11-Oct-2010 01:42  1.3M  
[DIR] ProofGeneral-4.1pre1..> 11-Oct-2010 01:42    -   
[   ] ProofGeneral-4.1pre1..> 03-Nov-2010 16:59  1.3M  
[DIR] ProofGeneral-4.1pre1..> 03-Nov-2010 16:59    -   
[   ] ProofGeneral-4.1pre1..> 25-Nov-2010 16:28  1.3M  
[DIR] ProofGeneral-4.1pre1..> 25-Nov-2010 16:28    -   
[   ] ProofGeneral-4.1pre1..> 10-Dec-2010 15:57  1.3M  
[DIR] ProofGeneral-4.1pre1..> 10-Dec-2010 15:57    -   
[   ] ProofGeneral-4.1pre1..> 16-Dec-2010 00:12  1.3M  
[DIR] ProofGeneral-4.1pre1..> 16-Dec-2010 00:12    -   
[   ] ProofGeneral-4.1pre1..> 12-Jan-2011 14:25  1.3M  
[DIR] ProofGeneral-4.1pre1..> 12-Jan-2011 14:25    -   
[   ] ProofGeneral-4.1pre1..> 18-Jan-2011 18:07  1.3M  
[DIR] ProofGeneral-4.1pre1..> 18-Jan-2011 18:07    -   
[   ] ProofGeneral-4.1pre1..> 24-Jan-2011 15:15  1.3M  
[DIR] ProofGeneral-4.1pre1..> 24-Jan-2011 15:15    -   
[   ] ProofGeneral-4.1pre1..> 25-Jan-2011 12:19  1.3M  
[DIR] ProofGeneral-4.1pre1..> 25-Jan-2011 12:19    -   
[   ] ProofGeneral-4.1pre1..> 31-Jan-2011 13:25  1.3M  
[DIR] ProofGeneral-4.1pre1..> 31-Jan-2011 13:25    -   
[   ] ProofGeneral-4.1pre1..> 23-Feb-2011 13:35  1.3M  
[DIR] ProofGeneral-4.1pre1..> 23-Feb-2011 13:35    -   
[   ] ProofGeneral-4.1pre1..> 09-Mar-2011 14:50  1.3M  
[DIR] ProofGeneral-4.1pre1..> 09-Mar-2011 14:50    -   
[   ] ProofGeneral-4.1pre1..> 26-Apr-2011 16:07  1.3M  
[DIR] ProofGeneral-4.1pre1..> 26-Apr-2011 16:07    -   
[   ] ProofGeneral-4.1pre1..> 05-May-2011 18:45  1.3M  
[DIR] ProofGeneral-4.1pre1..> 05-May-2011 18:45    -   
[   ] ProofGeneral-4.1pre1..> 12-May-2011 16:58  1.3M  
[DIR] ProofGeneral-4.1pre1..> 12-May-2011 16:58    -   
[   ] ProofGeneral-4.1pre1..> 16-May-2011 16:09  1.3M  
[DIR] ProofGeneral-4.1pre1..> 16-May-2011 16:09    -   
[   ] ProofGeneral-4.1pre1..> 27-May-2011 12:56  1.3M  
[DIR] ProofGeneral-4.1pre1..> 27-May-2011 12:56    -   
[   ] ProofGeneral-4.1pre1..> 30-May-2011 16:14  1.3M  
[DIR] ProofGeneral-4.1pre1..> 30-May-2011 16:14    -   
[   ] ProofGeneral-4.1pre1..> 01-Jun-2011 12:41  1.3M  
[DIR] ProofGeneral-4.1pre1..> 01-Jun-2011 12:41    -   
[   ] ProofGeneral-4.1pre1..> 09-Jun-2011 13:30  1.3M  
[DIR] ProofGeneral-4.1pre1..> 09-Jun-2011 13:30    -   
[   ] ProofGeneral-4.1pre1..> 10-Jun-2011 18:19  1.3M  
[DIR] ProofGeneral-4.1pre1..> 10-Jun-2011 18:19    -   
[   ] ProofGeneral-4.2pre1..> 13-Oct-2011 17:03  1.2M  
[DIR] ProofGeneral-4.2pre1..> 13-Oct-2011 17:03    -   
[   ] ProofGeneral-4.2pre1..> 17-Oct-2011 12:15  1.4M  
[DIR] ProofGeneral-4.2pre1..> 17-Oct-2011 12:15    -   
[   ] ProofGeneral-4.2pre1..> 07-Dec-2011 14:39  1.4M  
[DIR] ProofGeneral-4.2pre1..> 07-Dec-2011 14:39    -   
[   ] ProofGeneral-4.2pre1..> 04-Jan-2012 12:46  1.4M  
[DIR] ProofGeneral-4.2pre1..> 04-Jan-2012 12:46    -   
[   ] ProofGeneral-4.2pre1..> 10-Jan-2012 13:14  1.4M  
[DIR] ProofGeneral-4.2pre1..> 10-Jan-2012 13:14    -   
[   ] ProofGeneral-4.2pre1..> 12-Jan-2012 18:16  1.4M  
[DIR] ProofGeneral-4.2pre1..> 12-Jan-2012 18:16    -   
[   ] ProofGeneral-4.2pre1..> 06-Feb-2012 12:31  1.4M  
[DIR] ProofGeneral-4.2pre1..> 06-Feb-2012 12:31    -   
[   ] ProofGeneral-4.2pre1..> 11-Apr-2012 14:39  1.5M  
[DIR] ProofGeneral-4.2pre1..> 11-Apr-2012 14:39    -   
[   ] ProofGeneral-4.2pre1..> 30-Apr-2012 14:20  1.5M  
[DIR] ProofGeneral-4.2pre1..> 30-Apr-2012 14:20    -   
[   ] ProofGeneral-emacs-e..> 21-Apr-2004 21:06  1.0M  
[   ] ProofGeneral-emacs-e..> 31-Jan-2008 23:51  388K  
[   ] ProofGeneral-emacs-e..> 24-Jul-2008 09:48  397K  
[   ] ProofGeneral-latest.tgz 30-Apr-2012 14:20  1.5M  
[DIR] ProofGeneral-latest/    30-Apr-2012 14:20    -   
[   ] ProofGeneral-stable.tgz 11-Oct-2010 01:37  1.3M  
[   ] ProofGeneral-xemacs-..> 21-Apr-2004 21:06  968K  
[   ] ProofGeneral-xemacs-..> 31-Jan-2008 23:51  380K  
[   ] ProofGeneral-xemacs-..> 24-Jul-2008 09:48  385K  
[TXT] ProofGeneral.info       30-Apr-2012 14:20  240K  
[DIR] ProofGeneral/           03-Oct-2011 10:05    -   
[TXT] prereltag.txt           30-Apr-2012 14:20   13