diff options
| author | Pierre Courtieu | 2015-12-14 16:31:57 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-12-14 16:31:57 +0100 |
| commit | bfdb02859bcef664b5916849f88e1ab854696f64 (patch) | |
| tree | 6f12c37401737926b33c5f0fd833ec9b367c3db1 /generic/proof-script.el | |
| parent | e0e2ceaa1bc1750fc05b4589351e10a1081453dd (diff) | |
Refactoring. New file coq-system.el.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions