diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-02 17:46:07 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-02 17:46:07 +0000 |
| commit | 621625757d04bdb19075d92e764749d0a1393ce3 (patch) | |
| tree | e04c688dbe4897de4781e68dec32fc92b92447a5 /printing/pputils.ml | |
| parent | 8c24fc1ba49a1623dbecbea82c9fef238f17c4ee (diff) | |
Remove the unused "intel" field in Proof.proof_state
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15846 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'printing/pputils.ml')
0 files changed, 0 insertions, 0 deletions