diff options
| author | Arnaud Spiwack | 2015-01-14 11:27:17 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-01-14 11:27:17 +0100 |
| commit | 6303fce370131b7e0c648b4fd85565f9ec2203db (patch) | |
| tree | f30cffba98d36b7ab178ae296d981a67e7f546d2 /kernel | |
| parent | 5f49780b395686cdfce7126438c6dd69712d5c70 (diff) | |
CHANGES: my recent updates to Ltac.
- gfail
- multimatch
- tryif/then/else
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions