diff options
| author | David Aspinall | 2000-12-07 14:41:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-07 14:41:56 +0000 |
| commit | 13912f5f7bab5816eb986d93150211b001b9062d (patch) | |
| tree | c745d33a0f80e1df2678e6020454700570cd65f6 /ChangeLog | |
| parent | 2180215b540dbbb672fc1f495ae5cc70db33a603 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -19,6 +19,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: |