aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/classops.ml
Commit message (Expand)AuthorAge
* methode exportGravatar filliatr2000-11-15
* Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...Gravatar herbelin2000-11-10
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Renommage AppL en AppGravatar herbelin2000-10-01
* 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
* reparation bug des coercions (cas ou on importe une coercion faisantGravatar barras2000-08-08
* Déplacement non-affichage des coercions dans termastGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* changement type add_anonymous_leafGravatar filliatr1999-12-05
* Modifs suite à intégration de class.mlGravatar herbelin1999-12-02
* affichage classes et coercionsGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* portage Astterm (partiellement)Gravatar filliatr1999-11-29
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* Des progres dans l'integrationGravatar herbelin1999-11-25
* Versions initialesGravatar herbelin1999-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-20 16:51:43 +0000