-
Sylvain Dailler authored
This puts explanations on goals generated by some transformations with arguments. Ideally, no goals should be without explanations.
b434a9a8
This puts explanations on goals generated by some transformations with arguments. Ideally, no goals should be without explanations.