diff options
| author | David Aspinall | 2005-03-21 11:13:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-03-21 11:13:46 +0000 |
| commit | 1f66415a5fd82cf0e19f3bccc391c7e0f7558330 (patch) | |
| tree | fa5072c85daf7d6759ca6ff47e1b02f2092ea518 /generic | |
| parent | dac001edd3492cdf1af68ea4a72455ad9ed80876 (diff) | |
Updated.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index c60ced2b..41499e31 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2946,5 +2946,4 @@ Choice of function depends on configuration setting." (provide 'proof-script) - ;;; proof-script.el ends here |