diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2000-08-26 11:07:40 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2000-08-26 11:07:40 +0000 |
commit | fdc93e295c67ca38d96277ee177a3743bcc2f3ab (patch) | |
tree | 3a314bf3fa832469d831b5456664c51389464a0a /isar/interface | |
parent | 8eb18e285ae9c8e64b3bc6193ff050c858117855 (diff) |
nothing important, I forgot to undo something before my last commit in
coq/x-symbol-coq.el
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions