From 2c2e2af0659615c373aba8db82119e5eeba1bb49 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Thu, 15 Mar 2018 17:34:48 +0100 Subject: Fix some items in Credits --- doc/sphinx/credits.rst | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'doc/sphinx/credits.rst') 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. -- cgit v1.2.3