diff options
| author | bertot | 2004-01-24 17:55:21 +0000 |
|---|---|---|
| committer | bertot | 2004-01-24 17:55:21 +0000 |
| commit | 4864e124cb59babd9b10ae7b2cb7b0979b4f0272 (patch) | |
| tree | a911753bb7b0b0e096a369ec780dae57a4e51600 /scripts | |
| parent | 8ef21ce6c03c5dcde6e44e561147ff104683ed97 (diff) | |
streamlines the keywords for definitions, require commandsbinders, notation
definitions, Show commands, Print commands, proof starting commands,
Search commands, scope commands, type reservation command, locate commands,
time
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5244 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions