Index of /releases

Icon  Name                    Last modified      Size  Description
[TXT] PG-adapting.info 2015-09-30 15:26 214K [   ] ProofGeneral-2.0-1.n..> 1998-12-17 18:29 375K [   ] ProofGeneral-2.0-1.s..> 1998-12-17 18:29 405K [   ] ProofGeneral-2.0.tar.gz 1998-12-17 18:26 402K [   ] ProofGeneral-2.1-1.n..> 1999-08-25 18:38 2.0M [   ] ProofGeneral-2.1-1.s..> 1999-08-25 18:38 2.1M [   ] ProofGeneral-2.1.tar.gz 1999-08-25 18:37 2.1M [   ] ProofGeneral-3.0-1.n..> 1999-11-30 19:13 537K [   ] ProofGeneral-3.0-1.s..> 1999-11-30 19:13 522K [   ] ProofGeneral-3.0.tar.gz 1999-11-30 19:12 519K [DIR] ProofGeneral-3.0/ 2000-11-22 17:53 - [   ] ProofGeneral-3.1-1.n..> 2000-05-25 18:40 554K [   ] ProofGeneral-3.1-1.s..> 2000-05-25 18:40 552K [   ] ProofGeneral-3.1.tar.gz 2000-05-25 18:38 548K [DIR] ProofGeneral-3.1/ 2000-11-22 17:54 - [   ] ProofGeneral-3.2-1.n..> 2000-10-02 20:34 676K [   ] ProofGeneral-3.2-1.s..> 2000-10-02 20:34 669K [   ] ProofGeneral-3.2.tar.gz 2000-10-02 20:33 664K [DIR] ProofGeneral-3.2/ 2001-09-09 17:35 - [   ] ProofGeneral-3.3-1.n..> 2001-09-10 14:00 703K [   ] ProofGeneral-3.3.tar.gz 2001-09-10 13:58 703K [DIR] ProofGeneral-3.3/ 2001-09-10 13:58 - [   ] ProofGeneral-3.4-1.n..> 2002-08-29 16:05 783K [   ] ProofGeneral-3.4.tar.gz 2002-08-29 15:45 745K [DIR] ProofGeneral-3.4/ 2002-08-29 15:45 - [   ] ProofGeneral-3.5-1.n..> 2004-04-21 21:06 1.5M [   ] ProofGeneral-3.5.tar.gz 2004-04-21 21:06 1.7M [DIR] ProofGeneral-3.5/ 2004-04-21 21:06 - [   ] ProofGeneral-3.7-1.n..> 2008-01-31 23:51 2.1M [   ] ProofGeneral-3.7.1-1..> 2008-07-24 09:48 2.1M [   ] ProofGeneral-3.7.1.tgz 2008-07-24 09:46 1.9M [DIR] ProofGeneral-3.7.1/ 2008-07-24 09:46 - [   ] ProofGeneral-3.7.tgz 2008-01-31 23:49 1.9M [DIR] ProofGeneral-3.7/ 2008-01-31 23:49 - [   ] ProofGeneral-4.0.tgz 2010-10-11 01:37 1.3M [DIR] ProofGeneral-4.0/ 2010-10-11 01:37 - [   ] ProofGeneral-4.0pre.tgz 2010-10-10 23:59 1.3M [DIR] ProofGeneral-4.0pre/ 2010-10-10 23:59 - [   ] ProofGeneral-4.1.tgz 2011-10-03 10:05 1.4M [DIR] ProofGeneral-4.1/ 2011-10-03 10:05 - [   ] ProofGeneral-4.2.tgz 2012-10-19 17:15 1.5M [DIR] ProofGeneral-4.2/ 2012-10-19 17:15 - [   ] ProofGeneral-4.3pre1..> 2012-10-19 17:34 1.5M [DIR] ProofGeneral-4.3pre1..> 2012-10-19 17:34 - [   ] ProofGeneral-4.3pre1..> 2013-01-11 14:31 1.6M [DIR] ProofGeneral-4.3pre1..> 2013-01-11 14:31 - [   ] ProofGeneral-4.3pre1..> 2013-03-27 10:49 1.6M [DIR] ProofGeneral-4.3pre1..> 2013-03-27 10:49 - [   ] ProofGeneral-4.3pre1..> 2013-05-10 10:19 1.6M [DIR] ProofGeneral-4.3pre1..> 2013-05-10 10:19 - [   ] ProofGeneral-4.3pre1..> 2013-05-22 16:30 1.6M [DIR] ProofGeneral-4.3pre1..> 2013-05-22 16:30 - [   ] ProofGeneral-4.3pre1..> 2013-07-17 12:15 14M [DIR] ProofGeneral-4.3pre1..> 2013-07-17 12:15 - [   ] ProofGeneral-4.3pre1..> 2013-10-11 13:57 14M [DIR] ProofGeneral-4.3pre1..> 2013-10-11 13:57 - [   ] ProofGeneral-4.3pre1..> 2015-01-05 12:04 14M [DIR] ProofGeneral-4.3pre1..> 2015-01-05 12:04 - [   ] ProofGeneral-4.3pre1..> 2015-02-02 12:59 14M [DIR] ProofGeneral-4.3pre1..> 2015-02-02 12:58 - [   ] ProofGeneral-4.3pre1..> 2015-03-13 20:33 14M [DIR] ProofGeneral-4.3pre1..> 2015-03-13 20:33 - [   ] ProofGeneral-4.3pre1..> 2015-09-30 15:26 14M [DIR] ProofGeneral-4.3pre1..> 2015-09-30 15:26 - [   ] ProofGeneral-emacs-e..> 2004-04-21 21:06 1.0M [   ] ProofGeneral-emacs-e..> 2008-01-31 23:51 388K [   ] ProofGeneral-emacs-e..> 2008-07-24 09:48 397K [   ] ProofGeneral-latest.tgz 2015-09-30 15:26 14M [DIR] ProofGeneral-latest/ 2015-09-30 15:26 - [   ] ProofGeneral-stable.tgz 2012-10-19 17:15 1.5M [   ] ProofGeneral-xemacs-..> 2004-04-21 21:06 968K [   ] ProofGeneral-xemacs-..> 2008-01-31 23:51 380K [   ] ProofGeneral-xemacs-..> 2008-07-24 09:48 385K [TXT] ProofGeneral.info 2015-09-30 15:26 251K [DIR] ProofGeneral/ 2012-10-19 17:15 - [TXT] prereltag.txt 2015-09-30 15:27 13