diff options
| -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 8d418d5b4e..2878e1c4d2 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)\ |