diff options
| author | Pierre Courtieu | 2004-03-30 17:28:33 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-30 17:28:33 +0000 |
| commit | 6a19e3a7e01551b755ed3947378c89f3d82efbe4 (patch) | |
| tree | 4f4d6be6356d5d6882a3f8875341b6af7ff60f78 /pgshell/example.pgsh | |
| parent | 1bc3a4f967499fcfe735ac9d4696030fd32709d3 (diff) | |
debugging coq-x-symbols.el
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions