diff options
| author | herbelin | 2003-09-06 08:18:03 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-06 08:18:03 +0000 |
| commit | e9c8f69be0e0158d493b45476246cb82f7eb5d5a (patch) | |
| tree | 9f6f7fbbd844642daaa80b13407f97c8710c2c29 /kernel | |
| parent | f475ae32ed4ff6d4a48c6cbd94e2b6c28334ed42 (diff) | |
Passage de lconstr à constr pour les arguments immédiat de commandes
et tactiques; qqes bugs d'affichage; passage de la précédence des
projections de 10 à 9 avec associativité à gauche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4312 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions