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