diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-01-23 08:52:02 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-01-23 08:52:02 +0000 |
| commit | 493c92e5445b033e0c25142d04336349b3a67628 (patch) | |
| tree | 7db2a238e6c87cb5f3ca9eab33f4dc773a3803d4 | |
| parent | 84a306eb6cba543683cc5db00b7efa18c38c3604 (diff) | |
Precision
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7920 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/MacOS-X/ReadMe.rtf.template | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distrib/MacOS-X/ReadMe.rtf.template b/distrib/MacOS-X/ReadMe.rtf.template index 8d418d5b4..2878e1c4d 100644 --- a/distrib/MacOS-X/ReadMe.rtf.template +++ b/distrib/MacOS-X/ReadMe.rtf.template @@ -22,6 +22,7 @@ Coq also includes\ - a mechanism for automatic generation of certified programs\ from proofs of their specifications\ - a graphical user interface based on gtk (CoqIde)\ + [not included in this package]\ - a documentation tool (coqdoc)\ - dependency and makefile generation tools for Coq (coq_makefile\ and coqdep)\ |