diff options
| author | Enrico Tassi | 2015-03-10 16:01:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-11 11:44:54 +0100 |
| commit | 1a477d10daa91aadc0ef940b2f6d290aa93f8e8e (patch) | |
| tree | e2436555b369c0f7e12026e87d6d8e8508396bf7 /kernel/nativelambda.ml | |
| parent | a6dd74621a61f19625d661c3168510a8762b6b7a (diff) | |
CoqIDE: restore module/proof name in info bar
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions