diff options
| author |  bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-24 10:32:29 +0000 |
|---|---|---|
| committer | bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-24 10:32:29 +0000 |
| commit | ef67c616e5195c08b9502869a5b8f7e8432e1593 (patch) | |
| tree | b3608a7bd56a3a2af2e03b9bd840a4fb754ffc9b | |
| parent | a20a5bd63b4fa9ccfd386db7f4fd066537fc4ab2 (diff) | |
adding binary files that are needed for the graphical user-interface pcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1679 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/coq.spec | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distrib/coq.spec b/distrib/coq.spec index f7cde4b32..34954c6e4 100644 --- a/distrib/coq.spec +++ b/distrib/coq.spec @@ -60,6 +60,8 @@ fi /usr/bin/coqdep /usr/bin/gallina /usr/bin/coq_makefile +/usr/bin/coq-interface +/usr/bin/parser #/usr/bin/coq_searchisos.out /usr/bin/coqmktop #/usr/bin/coq2html |