Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | illegal tactic application was having Ltac interpreter loop | barras | 2009-03-04 |
* | Ajout d'un test de complexité de injection (cf bug 1173) | herbelin | 2007-04-14 |