aboutsummaryrefslogtreecommitdiffhomepage
path: root/states/MakeInitialNew.v
Commit message (Expand)AuthorAge
* Logic_TypeSyntax a disparuGravatar herbelin2003-09-25
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* *** empty log message ***Gravatar barras2003-03-12