diff options
| author | Enrico Tassi | 2015-07-11 23:49:31 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-07-11 23:50:01 +0200 |
| commit | 7351bf1c179c4feebf4d93437625ea358dc59420 (patch) | |
| tree | e08ae369c4dc74c54dad79a8c4d9c4c5fa2df761 /kernel/inductive.ml | |
| parent | 31ce6ad3ca351b4742f66ed059356191ae96a3ac (diff) | |
CoqIDE: recenter on backtrack (Close: #4277)
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions