Closed ndunand closed 9 years ago
Yes some gradings have been removed from the original work.
We need to clarify what gradings are actually required. We can discuss that on Friday.
Per meeting we don't (re-)add additional grading methods. Not needed. Translation updated.
This has already been discussed, but here for proper tracking only:
The choice of grading methods does not correspond to the documentation (in French). Make sure all statements are correct.