diff options
| author | Assia Mahboubi | 2008-01-30 09:36:28 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2008-01-30 09:36:28 +0000 |
| commit | 55e2be93dcbb1f9d0b0bf44157eae684672c77be (patch) | |
| tree | a6362ad9c2495ef65a3683fcb8d9453e9855ba4e /generic/proof-script.el | |
| parent | adf9bc400b341c4e1d3bea84fede9839468e6f91 (diff) | |
coq : changing highlight of solve, adding Export
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions