aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* plus de syntaxe v8Gravatar marche2003-12-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5089 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5088 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le ↵Gravatar herbelin2003-12-11
| | | | | | repertoire courant git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5087 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5085 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5084 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5083 85f007b7-540e-0410-9357-904b9bb8a0f7
* cc updateGravatar corbinea2003-12-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5082 85f007b7-540e-0410-9357-904b9bb8a0f7
* commandes de coqideGravatar marche2003-12-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5081 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5080 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5079 85f007b7-540e-0410-9357-904b9bb8a0f7
* correction bug: parentheses ne cassent plus les implicitesGravatar barras2003-12-08
| | | | | | | on met la notation ( _ ) qu'autour des entiers positifs git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5078 85f007b7-540e-0410-9357-904b9bb8a0f7
* preferencesGravatar marche2003-12-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5077 85f007b7-540e-0410-9357-904b9bb8a0f7
* bug de preferencs/font"Gravatar marche2003-12-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5076 85f007b7-540e-0410-9357-904b9bb8a0f7
* pas de Goal pendant une preuveGravatar filliatr2003-12-08
| | | | | | | pas de Debug On/Off git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5075 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5074 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5073 85f007b7-540e-0410-9357-904b9bb8a0f7
* power associe a droiteGravatar marche2003-12-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5072 85f007b7-540e-0410-9357-904b9bb8a0f7
* Pour eviter d'avoir un gros type dans SetGravatar herbelin2003-12-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5071 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5070 85f007b7-540e-0410-9357-904b9bb8a0f7
* Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace ↵Gravatar herbelin2003-12-04
| | | | | | par un niveau ajoute dynamiquement; plus de limite vers le haut: divide au niveau 260 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5069 85f007b7-540e-0410-9357-904b9bb8a0f7
* Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace ↵Gravatar herbelin2003-12-04
| | | | | | par un niveau ajoute dynamiquement git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5068 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ 'abstract'Gravatar herbelin2003-12-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5067 85f007b7-540e-0410-9357-904b9bb8a0f7
* Symetrisation parsing/printing 'abstract'Gravatar herbelin2003-12-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5066 85f007b7-540e-0410-9357-904b9bb8a0f7
* changement menu et toolbarGravatar marche2003-12-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5065 85f007b7-540e-0410-9357-904b9bb8a0f7
* L'installation ne copiait pas les .vo du traducteurGravatar herbelin2003-12-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5064 85f007b7-540e-0410-9357-904b9bb8a0f7
* Rle_monotony_contra devenu Rmult_le_reg_l avant traductionGravatar herbelin2003-12-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5063 85f007b7-540e-0410-9357-904b9bb8a0f7
* Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le ↵Gravatar herbelin2003-12-03
| | | | | | meme traitement pour plus_reg_l git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5062 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5061 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5060 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5059 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5058 85f007b7-540e-0410-9357-904b9bb8a0f7
* error messages adjustementGravatar corbinea2003-12-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5057 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5056 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar clrenard2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5055 85f007b7-540e-0410-9357-904b9bb8a0f7
* numeros versionGravatar marche2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7
* contrib jcfGravatar marche2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5053 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouvelle tactique EExistsGravatar clrenard2003-12-01
| | | | | | | Changement des exports pour tactic EXTEND : with_bindings devient bindings qui prend plus le with, il faut le mettre à la main dans la règle. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5052 85f007b7-540e-0410-9357-904b9bb8a0f7
* Amélioration du message d'erreur "w_unify"Gravatar clrenard2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5051 85f007b7-540e-0410-9357-904b9bb8a0f7
* Meilleure robustesse des reordonnement d'arguments (3eme)Gravatar herbelin2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5050 85f007b7-540e-0410-9357-904b9bb8a0f7
* Meilleure robustesse des reordonnement d'arguments (2eme)Gravatar herbelin2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5049 85f007b7-540e-0410-9357-904b9bb8a0f7
* Meilleure robustesse des reordonnement d'argumentsGravatar herbelin2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5048 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ratage standardisation Rge_monotony en Rmult_ge_compat_rGravatar herbelin2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5047 85f007b7-540e-0410-9357-904b9bb8a0f7
* Meilleure robustesse des reordonnement d'argumentsGravatar herbelin2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5046 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug traduction clearbodyGravatar herbelin2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5045 85f007b7-540e-0410-9357-904b9bb8a0f7
* Idtac parleGravatar narboux2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5044 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5043 85f007b7-540e-0410-9357-904b9bb8a0f7
* majGravatar filliatr2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5042 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2003-11-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5041 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2003-11-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5040 85f007b7-540e-0410-9357-904b9bb8a0f7
* installationGravatar herbelin2003-11-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5039 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-04 19:54:54 +0000