diff options
| author | Jim Fehrle | 2019-05-27 15:40:52 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2019-06-03 03:01:51 -0700 |
| commit | b2f70d5c203a68af4c7048b417eb0dc82cee2610 (patch) | |
| tree | 00821bcf36152268e69f1b18b3e9e7af617881ef /doc/plugin_tutorial/tuto1 | |
| parent | e005f390312b8900df36aa27bc087e18701c8fcd (diff) | |
Update doc to reflect that PG now supports Coq-generated proof diffs
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions