aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/coercion.ml
Commit message (Expand)AuthorAge
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Deuxième passe sur la localisation des messages d'erreurs sur les evars non ...Gravatar herbelin2002-04-11
* Mise en place de coercion dans les motifsGravatar herbelin2001-12-11
* GROS COMMIT:Gravatar barras2001-11-05
* L'instantiation des evars quand un produit ou une sorte étaient attendus n'Ã...Gravatar herbelin2001-09-14
* bug de BruijnGravatar herbelin2001-08-13
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* amelioration de la structure des universGravatar barras2001-03-28
* entetesGravatar filliatr2001-03-15
* Restructuration de classops; évolution en une version mieux intégrée au re...Gravatar herbelin2001-02-05
* Bug environnementGravatar herbelin2001-01-11
* Insertion de coercion au milieu des applications partielles et propagation de...Gravatar herbelin2000-11-08
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Petit nettoyage de Evarutil et EvarconvGravatar herbelin2000-10-23
* Nettoyage CoercionGravatar herbelin2000-10-19
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* Renommage canonique :Gravatar herbelin2000-10-18
* Renommage AppL en AppGravatar herbelin2000-10-01
* Abstraction de constrGravatar herbelin2000-09-14
* Modification mkAppL; abstraction via kind_of_term; changement dans ReductionGravatar herbelin2000-09-12
* Correction pour make docGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* Achèvement abstraction du mécanisme (optionnel) de castGravatar herbelin2000-06-29
* Amelioration messages erreursGravatar herbelin2000-06-09
* bugs et simplification (suite)Gravatar herbelin2000-06-02
* Bugs et simplifications coercionsGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Afficahge des locationsGravatar herbelin2000-05-31
* Modification messages d'erreurs, possibilité de n'importe quel constr dans l...Gravatar herbelin2000-05-26
* Abstraction du type typed_type (un pas vers les jugements 2 niveaux)Gravatar herbelin2000-04-20
* Export inh_conv_coerce_to et diversGravatar herbelin2000-03-07
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* - méthode load sur les HintsGravatar filliatr1999-12-13
* mise a jour CoercionGravatar filliatr1999-12-01
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* Des progres dans l'integrationGravatar herbelin1999-11-25
* Versions initialesGravatar herbelin1999-11-24