diff options
| author | Pierre Courtieu | 2004-04-05 14:01:36 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-05 14:01:36 +0000 |
| commit | d9ff5092f79b39f179eff23f85b8fedcfb706008 (patch) | |
| tree | cc52321bf83170303e602e50b7a1bca304fe292c /pgshell | |
| parent | 4f7848a7b2d161da04bc236647d0988bf3cfae65 (diff) | |
Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,
but alpha_, _alpha and _alpha_ are decoded.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions