diff options
| -rw-r--r-- | doc/sphinx/credits.rst | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/sphinx/credits.rst b/doc/sphinx/credits.rst index b4d816f9f..ad7b8c446 100644 --- a/doc/sphinx/credits.rst +++ b/doc/sphinx/credits.rst @@ -1309,10 +1309,7 @@ with a few new features. The main user visible changes are: - Kernel: fix a subject reduction failure due to allowing fixpoints on non-recursive values, which allows to recover full parametricity for CIC, by Matthieu Sozeau. Handling of evars in the VM (the kernel - still does not accept evars) by Maxime Dénès. - -- Gallina: always use the projection printing style for primitive - projections by Maxime Dénès. + still does not accept evars) by Pierre-Marie Pédrot. - Notations: many improvements on recursive notations and integration with pattern binding by Hugo Herbelin. |