Thank you, that's very helpful!
Best,
Frank
On Mon, Mar 15, 2021 at 2:35 AM Guillaume Melquiond <
guillaume.melqui...@inria.fr> wrote:
> Le 15/03/2021 à 00:11, Frank Pfenning a écrit :
> > It is not feasible for us to switch versions in the middle of the
> semester
> > so I was wondering if
Le 15/03/2021 à 00:11, Frank Pfenning a écrit :
> It is not feasible for us to switch versions in the middle of the semester
> so I was wondering if the standard libraries and documentation for
> version 1.3.3 are still available somewhere?
You can get the older versions by suffixing the version