diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-06-19 13:37:22 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-06-24 16:33:29 +0200 |
| commit | 70855cf6d6bc53e80e89f6b33b54b1741d9fc9a9 (patch) | |
| tree | 90eca37582fb59791d89696fd1a34cf497a06ac2 /CHANGES | |
| parent | e82b364a070513fe660598588f5a6e8111460adf (diff) | |
Added mention of mutual records to CHANGES.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,6 +1,10 @@ Changes from 8.8.2 to 8.9+beta1 =============================== +Kernel + +- Mutually defined records are now supported. + Tactics - Added toplevel goal selector ! which expects a single focused goal. |