diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-06 23:12:31 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-06 23:12:31 +0200 |
commit | f81d1b2a0b22f45c82f061ba408468c28b47535c (patch) | |
tree | 649bfdf0012da16bf5b5b0f70314a553a180c407 /CHANGES | |
parent | 06ae65cc88069763fe05184e3ea3dc73dd8f9794 (diff) | |
parent | ca82e1ff51108a3dac37f52a96f3af4b4e8d1a18 (diff) |
Merge PR#455: Farewell decl_mode
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -22,6 +22,10 @@ Standard Library - Real constants are now represented using IZR rather than R0 and R1; this might cause rewriting rules to fail to apply to constants. +Plugins + +- The mathematical proof language (also known as declarative mode) was removed. + Changes from V8.6beta1 to V8.6 ============================== |