Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 | |
* | Made pretyping a functor over a coercion implementation. Pretyping.Default us... | 2006-03-22 | |
* | Update of Subtac contrib. Add {wf n R} as an alternative to {struct n}. | 2006-03-13 | |
* | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | 2005-12-26 | |
* | Subtac: traitement correct des existentielles et de la récursion. | 2005-07-15 |