diff options
| author | David Aspinall | 2006-09-22 16:45:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-22 16:45:50 +0000 |
| commit | 50ed5b3a2487b818a0741a7c4fe7f5ec52d52d7c (patch) | |
| tree | 3d64ad41cf6bc63e72226b34f44d138d952b3645 /mmm/README.mmm-for-ProofGeneral | |
| parent | 8562a8f7c41b371228859767251528ddfd5c65a2 (diff) | |
Update to 0.4.8 from sourceforge.
Diffstat (limited to 'mmm/README.mmm-for-ProofGeneral')
| -rw-r--r-- | mmm/README.mmm-for-ProofGeneral | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mmm/README.mmm-for-ProofGeneral b/mmm/README.mmm-for-ProofGeneral index ad4f9dca..a79c84c7 100644 --- a/mmm/README.mmm-for-ProofGeneral +++ b/mmm/README.mmm-for-ProofGeneral @@ -2,7 +2,7 @@ The code in this directory is taken from http://mmm-mode.sourceforge.net/ -This is version 0.4.7. +This is version 0.4.8. No changes have been made for Proof General. Some files have not be included here. |