diff options
| author | Pierre Courtieu | 2004-03-30 15:45:58 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-30 15:45:58 +0000 |
| commit | c96b54c76e049acd8d9acb4b7ba198f3b210e232 (patch) | |
| tree | 2f8ac755f8b4feec9eecc5da8cebaef0378060d8 /pgshell | |
| parent | 605f3048c4ccd7cfe9267ccdf02e6a87c6775295 (diff) | |
Trying to put x-symbols for coq. By copying
x-symbol-isabelle.el. Seems to work.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions