Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing bug #2308 ("instantiate" tactic did not comply with | 2009-04-24 | |
* | Fixes and refinements regarding occurrence selection: | 2008-10-26 | |
* | Compatibilité ocamlweb pour cible doc | 2005-01-21 | |
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | more evar stuff | 2004-06-28 |