Change History for Ticket #10458

Version Date Author Comment
25 7 years Frédéric Chapoton
5 12 years Leif Leonhardy Just fixed the https://. And the Author(s) field. (This should …
4 12 years Minh Van Nguyen This is really a major change to how the doctesting framework behaves. …
0 12 years Keshav Kini Initial version