Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 99e41355 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Typo.

parent 7950b2a1
......@@ -5,7 +5,7 @@
* Fix the termination test that takes place before parameterized symbols are
expanded away. The previous test was both unsound (it would accept grammars
whose termination did not terminate) and incomplete (it would reject
grammars whose termination did terminate). The new test is believed to be
grammars whose expansion did terminate). The new test is believed to be
sound and complete.
## 2017/11/12
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment