diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-09-06 14:34:48 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-06 14:34:48 +0000 |
| commit | 8eab833eb7c525f7e50d6e42a6b804a7a26f1f92 (patch) | |
| tree | 726a2b6245eef9462a27591af11a7eb68453e6da /coq/coq-db.el | |
| parent | ff9ffa9425bbd50240605a3790b19c368c10fedf (diff) | |
Fixed a bug with function name "eval".
Diffstat (limited to 'coq/coq-db.el')
0 files changed, 0 insertions, 0 deletions