diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-12-16 00:11:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-12-16 00:11:21 +0000 |
commit | 66249f4ec219c140208e6c9415116a8c58476e28 (patch) | |
tree | b68d0c0dad71c40a140221aa57822a3cc23f9847 /generic/proof-config.el | |
parent | 813d75c12f0624895ad9df8701ed72be1fca616b (diff) |
Patch to add pgipfloat type.
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 0ede4c5f..cd41084a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -189,6 +189,13 @@ Default is `int-to-string'." :type 'function :group 'prover-config) +(defcustom proof-assistant-format-float-fn 'number-to-string + "Function for converting float values to ints in proof assistant. +Used for configuring settings in proof assistant. +Default is `number-to-string'." + :type 'function + :group 'prover-config) + (defcustom proof-assistant-format-string-fn (lambda (value) value) "Function for converting string values to strings in proof assistant. Used for configuring settings in proof assistant. |