diff options
| author |  monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-25 13:03:27 +0000 |
|---|---|---|
| committer | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-25 13:03:27 +0000 |
| commit | 293b31aab50f0b7f947960ce15bf9ae6b6d576de (patch) | |
| tree | 373f33c911c0d858722c863dc76515ab0f0e6ff9 /distrib/Makefile | |
| parent | 1b09b2be6b433730c92c40126af4381559998285 (diff) | |
coqide : status bar more informative, forbid Section/Module in proo mode
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4208 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
0 files changed, 0 insertions, 0 deletions