aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/pretype_errors.ml
Commit message (Expand)AuthorAge
* Nouvelle en-têteGravatar herbelin2004-07-16
* bug #790: better error_not_cleanGravatar barras2004-07-13
* Paramétrisation vis à vis de existential_keyGravatar herbelin2003-09-06
* LocalisationGravatar herbelin2003-01-19
* pretyping/pretyping.mlGravatar herbelin2002-09-03
* Nettoyage exceptions liées au vieux CaseGravatar herbelin2001-12-18
* Suites modifs du noyau. Univ devient purement fonctionnel.Gravatar barras2001-11-12
* GROS COMMIT:Gravatar barras2001-11-05
* Rustine pour rendre les messages d'erreurs de la compilation des Cases plus l...Gravatar herbelin2001-10-15
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* entetesGravatar filliatr2001-03-15
* Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisationGravatar herbelin2001-03-11
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* Raffinement erreur Wrong PredicateGravatar herbelin2000-12-14
* Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...Gravatar herbelin2000-11-22
* Ajout erreur GlobalNotFoundGravatar herbelin2000-11-20
* Messages d'erreurs CasesGravatar herbelin2000-10-10
* kernel/type_errors.mlGravatar herbelin2000-09-06
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* BricolesGravatar herbelin2000-06-29
* Afficahge des locationsGravatar herbelin2000-05-31
* - erreurs PretypeGravatar filliatr1999-12-10
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* Ajout des messages d'erreurs de CasesGravatar herbelin1999-12-09
* portage modules Evarconv et EvarutilGravatar filliatr1999-11-29
* Modification pour faire compiler pretyping.ml qui maintenant compileGravatar herbelin1999-11-26
* Versions initialesGravatar herbelin1999-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 14:58:28 +0000