equal
deleted
inserted
replaced
57 *** Pure *** |
57 *** Pure *** |
58 |
58 |
59 * Support for real valued configuration options, using simplistic |
59 * Support for real valued configuration options, using simplistic |
60 floating-point notation that coincides with the inner syntax for |
60 floating-point notation that coincides with the inner syntax for |
61 float_token. |
61 float_token. |
|
62 |
|
63 * Support for real valued preferences (with approximative PGIP type). |
62 |
64 |
63 * Interpretation command 'interpret' accepts a list of equations like |
65 * Interpretation command 'interpret' accepts a list of equations like |
64 'interpretation' does. |
66 'interpretation' does. |
65 |
67 |
66 * Diagnostic command 'print_interps' prints interpretations in proofs |
68 * Diagnostic command 'print_interps' prints interpretations in proofs |