diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-06-28 10:54:52 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-28 10:54:52 +0200 |
| commit | 809eaea3c179ca23036ae807e8f8c1a749a027f7 (patch) | |
| tree | 86a7f7a0484eee820dc0d7f57d3707e902210da6 /CHANGES | |
| parent | 2a036e512024d522846cc1b900ad06fe71c5733a (diff) | |
| parent | 1e3d00fa7ef1641a1439be815ea5aa2624b7e728 (diff) | |
Merge PR #7866: Implementation of mutual records in the higher strata
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. |