diff options
| author | Thomas Kleymann | 1998-03-24 17:26:15 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-03-24 17:26:15 +0000 |
| commit | 58a9db45bc8292953cff1be66eb6ed9c5463c756 (patch) | |
| tree | 78482963d432ffdda59d70ae6ba8fb1ddf354ba7 /coq.el | |
| parent | 9d573895f575aa183a14e283b6b0361c5a41b922 (diff) | |
*** empty log message ***
Diffstat (limited to 'coq.el')
0 files changed, 0 insertions, 0 deletions