Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Added a few informations about file lineages (for the most part in kernel) | herbelin | 2010-05-09 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | subst. explicites avec vecteurs | barras | 2006-05-09 |
* | Nouvelle en-tĂȘte | herbelin | 2004-07-16 |
* | Improved reduction machine with closure: should use less memory | barras | 2003-08-05 |
* | amelioration de la consommation memoire de la conversion en eta-expansant | barras | 2001-03-23 |
* | entetes | filliatr | 2001-03-15 |
* | nouvelle implantation de la reduction | barras | 2001-03-01 |