Skip to content

Fix documentation of `select` to state that it selects the "last" hypothesis.

Robbert Krebbers requested to merge robbert/select_last into master

Merge request reports