diff options
| author | thery | 2007-10-02 11:42:42 +0000 |
|---|---|---|
| committer | thery | 2007-10-02 11:42:42 +0000 |
| commit | 95d72c0eb4a7adc28a277272d1a88b0db453a9d4 (patch) | |
| tree | 4ec77c3b609516911ca9afe8186c8d91fd692d5c /dev | |
| parent | 5a419bafdb21fd61c4c5c0784c1a0156d5ec7005 (diff) | |
Now NMake is proved
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10163 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions