diff options
| author | Vincent Laporte | 2019-02-25 10:04:53 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-25 10:05:35 +0000 |
| commit | e4c70510979209760956dc63f0aa15f969c8cf18 (patch) | |
| tree | f4da10a4caa73c74f7e1e0aa8e3bed12ccc9f951 /vernac/comProgramFixpoint.ml | |
| parent | 43b2ddf9db407f6e5481974a626ac5c91d74910f (diff) | |
[Manual] Refactor documentation of internal registration commands
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions