diff options
| author | David Aspinall | 2000-12-07 16:02:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-07 16:02:21 +0000 |
| commit | 2ce3be2f0405b9e8f86f0b6e335ecd8bcdc40312 (patch) | |
| tree | bf4d0fd8d3e43ec59512366a211bad0abc1ea2f8 | |
| parent | 13912f5f7bab5816eb986d93150211b001b9062d (diff) | |
Updated.
| -rw-r--r-- | ChangeLog | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -38,6 +38,25 @@ 2000-12-07 David Aspinall <da@proofgeneral.org> + * ChangeLog: Updated. + + * generic/pg-pgip.el: Typo. + + * etc/ProofGeneral.spec, Makefile, Makefile.devel: + Name change af2 -> phox + + * generic/pg-pgip.el: + Beginnings of pgip processing + + * generic/pg-xml.el: Add provide + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: + Set version tag for new release. + +2000-12-07 David Aspinall <da@proofgeneral.org> + * generic/pg-pgip.el: Typo. * etc/ProofGeneral.spec, Makefile, Makefile.devel: |