Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 | |
* | first attempt to allow Function to deal with dependent pattern matching. This... | 2008-11-23 | |
* | adding an option Function_raw_tcc to Function | 2008-10-26 | |
* | Backtrack wrong commit. | 2008-03-14 | |
* | trying f | 2008-03-13 | |
* | Amelioration des messages d'erreur de Fucntion | 2006-08-24 | |
* | Bug corrections in Function. | 2006-08-11 | |
* | Code cleaning in Function | 2006-07-18 | |
* | +functional inversion now takes the function to invert as an optional argument. | 2006-07-10 | |
* | - completely new version of "functional inversion" using inversion on | 2006-07-04 | |
* | bug correction | 2006-06-29 | |
* | + Changing a little functional schemes types | 2006-04-10 | |
* | Julien: | 2006-02-17 | |
* | Julien: | 2006-02-08 | |
* | added mli 's for the nex functional induction (forgotten last time). | 2006-02-03 |