Skip to content

Hide the code in RefinedC goals.

Rodolphe Lepigre requested to merge ci/improve_printing into master

This PR changes two things:

  • the code in goals is hidden (we use a notation ... for printing),
  • the hypotheses with location/case info do not have a definition anymore (this makes them smaller and more readable).
Edited by Rodolphe Lepigre

Merge request reports