diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-08-23 07:17:20 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-08-23 07:17:20 +0000 |
| commit | 5a682f78cd647e5c836d5bc9e41f1e6be5a7e1b3 (patch) | |
| tree | 910879289dc336e6682c4949cd5238d5829c4976 /coq/coq-db.el | |
| parent | 4b32eaeef82d0545cc3b487ce5a1c65ad44e7f9d (diff) | |
Finished making functions over big tables non recursive. Works with
emacs.
Diffstat (limited to 'coq/coq-db.el')
0 files changed, 0 insertions, 0 deletions