Beta Ziliani (Jun 09 2020 at 20:18): 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!
Gaëtan Gilbert (Jun 09 2020 at 20:38):Set Printing All?
Janno (Jun 09 2020 at 21:27):Print Tables is what gives you all options, I think.
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
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 ;-)
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 08 2024 at 14:01 UTC