Open Zimmi48 opened 5 years ago
Browsing to https://coq.inria.fr/documentation, then https://coq.inria.fr/distrib/current/stdlib/ changes the header (likely to an older version). It would be good to have a way to ensure that this stays the same (or to make it completely different like in the refman, which is also somewhat okay).
Browsing to https://coq.inria.fr/documentation, then https://coq.inria.fr/distrib/current/stdlib/ changes the header (likely to an older version). It would be good to have a way to ensure that this stays the same (or to make it completely different like in the refman, which is also somewhat okay).