Stream: Coq devs & plugin devs

Topic: Printing options


view this post on Zulip Beta Ziliani (Jun 09 2020 at 20:18):

Hi all, is there a place for finding printing options? In particular, I am looking for an option to display evar numbers (or, better, raw constr if that's possible). Thanks!

view this post on Zulip Gaëtan Gilbert (Jun 09 2020 at 20:38):

Set Printing All?

view this post on Zulip Janno (Jun 09 2020 at 21:27):

Print Tables is what gives you all options, I think.

view this post on Zulip Théo Zimmermann (Jun 10 2020 at 09:51):

Most options are listed in the dedicated index of the reference manual and printing options usually start with Printing, so that would be there: https://coq.inria.fr/refman/coq-optindex.html#cap-p

view this post on Zulip Beta Ziliani (Jun 10 2020 at 14:51):

Nice! Thanks @Janno and @Théo Zimmermann !
@Gaëtan Gilbert Set Printing All doesn't print all ;-)

view this post on Zulip Janno (Jun 10 2020 at 14:54):

Indeed, and there are some terms (primitive projections for records without parameters, I think) which you cannot identify even when using all the available printing options.


Last updated: Oct 21 2021 at 20:02 UTC