diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2009-10-15 17:16:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2009-10-15 17:16:37 +0000 |
| commit | 9d16a972dc44dbb6d9035a9492e4f5c1135cedca (patch) | |
| tree | 714ec9245e2aae0c0062cd06e13d8b62b92dbabb /generic/proof-faces.el | |
| parent | a578d6d624c2c9af0239ba7f06b93de7a4714f3c (diff) | |
Added keyboard shortcut in goals buffer.
Diffstat (limited to 'generic/proof-faces.el')
0 files changed, 0 insertions, 0 deletions