aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/pre_env.ml
Commit message (Expand)AuthorAge
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* Modification de la vm:Gravatar notin2007-03-27
* correction bugs de condition de garde (fix + cofix)Gravatar barras2006-05-12
* j'avais oublie ces deux fichiers.Gravatar gregoire2005-12-06