aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/indrec.mli
Commit message (Expand)AuthorAge
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Suite restructuration inductifs; changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* Adaptation pour nouveaux inductifs (cf Inductive)Gravatar herbelin2000-05-18
* NettoyageGravatar herbelin2000-03-21
* Prise en compte nouveau case_infoGravatar herbelin2000-03-21
* Correction pbs liés aux evarGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* - environment -> safe_environmentGravatar filliatr1999-12-01
* fin Recordops, et debut EvarutilGravatar filliatr1999-11-27
* Déplacement fonction transform_rec vers pretypingGravatar herbelin1999-11-26
* modules Indrec, Tacentries, HiddentacGravatar filliatr1999-11-23
* modules Indrec, Wcclausenv; progression dans TacticalsGravatar filliatr1999-11-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-19 03:19:03 +0000