diff options
| author | bertot | 2001-04-24 10:32:29 +0000 |
|---|---|---|
| committer | bertot | 2001-04-24 10:32:29 +0000 |
| commit | ef67c616e5195c08b9502869a5b8f7e8432e1593 (patch) | |
| tree | b3608a7bd56a3a2af2e03b9bd840a4fb754ffc9b /dev | |
| 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
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions