aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
Diffstat
-rw-r--r--etc/ProofGeneral.spec4
-rw-r--r--generic/proof-site.el2
-rw-r--r--html/devel.phtml38
-rw-r--r--html/develdownload.phtml16
4 files changed, 30 insertions, 30 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index db45110f..3ce31ae0 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -1,12 +1,12 @@
Summary: Proof General, Emacs interface for Proof Assistants
Name: ProofGeneral
-Version: 3.1pre000319
+Version: 3.1pre000322
Release: 1
Group: Applications/Editors/Emacs
Copyright: LFCS, University of Edinburgh
Url: http://www.lfcs.informatics.ed.ac.uk/proofgen
Packager: David Aspinall <da@dcs.ed.ac.uk>
-Source: http://www.dcs.ed.ac.uk/proofgen/ProofGeneral-3.1pre000319.tar.gz
+Source: http://www.dcs.ed.ac.uk/proofgen/ProofGeneral-3.1pre000322.tar.gz
BuildRoot: /tmp/ProofGeneral-root
Patch: ProofGeneral.patch
PreReq: /sbin/install-info
diff --git a/generic/proof-site.el b/generic/proof-site.el
index a4d4c9df..2972b48e 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -276,7 +276,7 @@ Note: to change proof assistant, you must start a new Emacs session.")
;; WARNING: do not edit below here
;; (the next constant is set automatically)
-(defconst proof-general-version "Proof General Version 3.1pre000319. Released by da."
+(defconst proof-general-version "Proof General Version 3.1pre000322. Released by da."
"Version string identifying Proof General release.")
(provide 'proof-site)
diff --git a/html/devel.phtml b/html/devel.phtml
index 5cab5816..fa15ebb6 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -9,12 +9,12 @@ users and hackers!
<li>
Download the latest <a href="develdownload.phtml">development release:
<!-- WARNING! Line below automatically edited by makefile. -->
- <b>ProofGeneral-3.1pre000319</b></a>
+ <b>ProofGeneral-3.1pre000322</b></a>
<!-- end WARNING -->
<br>
Check the
<!-- WARNING! Line below automatically edited by makefile. -->
-<?php fileshow("ProofGeneral-3.1pre000319/CHANGES","CHANGES"); ?> file
+<?php fileshow("ProofGeneral-3.1pre000322/CHANGES","CHANGES"); ?> file
<!-- End Warning. -->
for a summary of changes since the last stable version.
</li>
@@ -35,14 +35,14 @@ Take a look at the Proof General <a href="projects.phtml">project proposals</a>.
<li>
Read the
developer's
-<?php fileshow("ProofGeneral-3.1pre000319/README.devel","README file"); ?>,
+<?php fileshow("ProofGeneral-3.1pre000322/README.devel","README file"); ?>,
with development hints and tips.
</li>
</ul>
<ul>
<li>
Read the brief list of planned
-<?php fileshow("ProofGeneral-3.1pre000319/TODO","things to do "); ?>
+<?php fileshow("ProofGeneral-3.1pre000322/TODO","things to do "); ?>
for Proof General.
</ul>
<ul>
@@ -50,29 +50,29 @@ for Proof General.
<a name="lowleveltodo">See our current low-level lists of things to do</a>,
for the
<!-- WARNING! Lines below automatically edited by makefile. -->
- <?php fileshow("ProofGeneral-3.1pre000319/todo","generic base"); ?>,
+ <?php fileshow("ProofGeneral-3.1pre000322/todo","generic base"); ?>,
<br>
and for each prover:
- <?php fileshow("ProofGeneral-3.1pre000319/lego/todo","lego to do"); ?>,
- <?php fileshow("ProofGeneral-3.1pre000319/coq/todo","coq to do"); ?>,
- <?php fileshow("ProofGeneral-3.1pre000319/isa/todo","isa to do"); ?>,
- <?php fileshow("ProofGeneral-3.1pre000319/isar/todo","isar to do"); ?>,
- <?php fileshow("ProofGeneral-3.1pre000319/hol98/todo","hol to do"); ?>.
+ <?php fileshow("ProofGeneral-3.1pre000322/lego/todo","lego to do"); ?>,
+ <?php fileshow("ProofGeneral-3.1pre000322/coq/todo","coq to do"); ?>,
+ <?php fileshow("ProofGeneral-3.1pre000322/isa/todo","isa to do"); ?>,
+ <?php fileshow("ProofGeneral-3.1pre000322/isar/todo","isar to do"); ?>,
+ <?php fileshow("ProofGeneral-3.1pre000322/hol98/todo","hol to do"); ?>.
<!-- end WARNING -->
</li>
</ul>
<!-- <ul> -->
<!-- <li> -->
<!-- Browse source files from the current pre-release: -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-site.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-config.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-script.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-shell.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-toolbar.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-syntax.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-splash.el") ?>, -->
-<!-- <?php fileshow("ProofGeneral-3.1pre000319/generic/proof-easy-config.el") ?>. -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-site.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-config.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-script.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-shell.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-toolbar.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-syntax.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-splash.el") ?>, -->
+<!-- <?php fileshow("ProofGeneral-3.1pre000322/generic/proof-easy-config.el") ?>. -->
<!-- </ul> -->
<ul>
<li>
diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index c093cccd..a4e3705c 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -20,13 +20,13 @@ Please <a href="register.phtml">register</a> if you haven't done so already.
</p>
<!-- WARNING! Line below automatically edited by makefile. -->
-<h2><a name="prerel">Pre-release: ProofGeneral-3.1pre000319</a></h2>
+<h2><a name="prerel">Pre-release: ProofGeneral-3.1pre000322</a></h2>
<!-- End Warning. -->
<p>
Check the
<!-- WARNING! Line below automatically edited by makefile. -->
-<?php fileshow("ProofGeneral-3.1pre000319/CHANGES","CHANGES"); ?> file
+<?php fileshow("ProofGeneral-3.1pre000322/CHANGES","CHANGES"); ?> file
<!-- End Warning. -->
for a summary of changes since the last stable version, and
the planned changes to come.
@@ -34,13 +34,13 @@ the planned changes to come.
<ul>
<!-- WARNING! Lines below automatically edited by makefile. -->
<li> gzip'ed tar file:
- <?php download_link("ProofGeneral-3.1pre000319.tar.gz") ?>
+ <?php download_link("ProofGeneral-3.1pre000322.tar.gz") ?>
</li>
<li> Linux RPM package
- <?php download_link("ProofGeneral-3.1pre000319-1.noarch.rpm") ?>
+ <?php download_link("ProofGeneral-3.1pre000322-1.noarch.rpm") ?>
<br>
You probably don't need the
- <?php download_link("ProofGeneral-3.1pre000319-1.src.rpm","source RPM") ?>.
+ <?php download_link("ProofGeneral-3.1pre000322-1.src.rpm","source RPM") ?>.
</li>
<!-- End Warning. -->
</ul>
@@ -57,7 +57,7 @@ the <?php link_root("download#install","stable version download") ?>.
<!-- WARNING! Line below automatically edited by makefile. -->
-<h2><a name="devel">Complete Archive of ProofGeneral-3.1pre000319 for Developers</a></h2>
+<h2><a name="devel">Complete Archive of ProofGeneral-3.1pre000322 for Developers</a></h2>
<!-- End Warning. -->
<p>
@@ -66,7 +66,7 @@ This archive is a snapshot from our CVS repository.
<ul>
<li> gzip'ed tar file:
<!-- WARNING! Line below automatically edited by makefile. -->
- <?php download_link("ProofGeneral-3.1pre000319-devel.tar.gz") ?>
+ <?php download_link("ProofGeneral-3.1pre000322-devel.tar.gz") ?>
<!-- End Warning. -->
</li>
</ul>
@@ -79,7 +79,7 @@ The complete archive also includes:
(see <?php link_root("devel#lowleveltodo","the developers page") ?>)
and the detailed
<!-- WARNING! Line below automatically edited by makefile. -->
- <?php fileshow("ProofGeneral-3.1pre000319/ChangeLog","ChangeLog"); ?>,
+ <?php fileshow("ProofGeneral-3.1pre000322/ChangeLog","ChangeLog"); ?>,
<!-- End Warning. -->
</li>
<li> developer's Makefile used to generate documentation files
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 02:59:01 +0000