Index of /releases

Icon  Name                    Last modified      Size  Description
[TXT] PG-adapting.info 30-Sep-2015 15:26 214K [   ] 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.2.tgz 19-Oct-2012 17:15 1.5M [DIR] ProofGeneral-4.2/ 19-Oct-2012 17:15 - [   ] ProofGeneral-4.3pre1..> 19-Oct-2012 17:34 1.5M [DIR] ProofGeneral-4.3pre1..> 19-Oct-2012 17:34 - [   ] ProofGeneral-4.3pre1..> 11-Jan-2013 14:31 1.6M [DIR] ProofGeneral-4.3pre1..> 11-Jan-2013 14:31 - [   ] ProofGeneral-4.3pre1..> 27-Mar-2013 10:49 1.6M [DIR] ProofGeneral-4.3pre1..> 27-Mar-2013 10:49 - [   ] ProofGeneral-4.3pre1..> 10-May-2013 10:19 1.6M [DIR] ProofGeneral-4.3pre1..> 10-May-2013 10:19 - [   ] ProofGeneral-4.3pre1..> 22-May-2013 16:30 1.6M [DIR] ProofGeneral-4.3pre1..> 22-May-2013 16:30 - [   ] ProofGeneral-4.3pre1..> 17-Jul-2013 12:15 14M [DIR] ProofGeneral-4.3pre1..> 17-Jul-2013 12:15 - [   ] ProofGeneral-4.3pre1..> 11-Oct-2013 13:57 14M [DIR] ProofGeneral-4.3pre1..> 11-Oct-2013 13:57 - [   ] ProofGeneral-4.3pre1..> 05-Jan-2015 12:04 14M [DIR] ProofGeneral-4.3pre1..> 05-Jan-2015 12:04 - [   ] ProofGeneral-4.3pre1..> 02-Feb-2015 12:59 14M [DIR] ProofGeneral-4.3pre1..> 02-Feb-2015 12:58 - [   ] ProofGeneral-4.3pre1..> 13-Mar-2015 20:33 14M [DIR] ProofGeneral-4.3pre1..> 13-Mar-2015 20:33 - [   ] ProofGeneral-4.3pre1..> 30-Sep-2015 15:26 14M [DIR] ProofGeneral-4.3pre1..> 30-Sep-2015 15:26 - [   ] 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-Sep-2015 15:26 14M [DIR] ProofGeneral-latest/ 30-Sep-2015 15:26 - [   ] ProofGeneral-stable.tgz 19-Oct-2012 17:15 1.5M [   ] 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-Sep-2015 15:26 251K [DIR] ProofGeneral/ 19-Oct-2012 17:15 - [TXT] prereltag.txt 30-Sep-2015 15:27 13