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 to the various parts of the documentation, e.g., http://why3.lri.fr/doc-1.3/ http://why3.lri.fr/stdlib-1.3/ That said, at least for the reference manual, it might be worth sticking with the new version, as the improved documentation might well compensate the few parts that do not apply to 1.3. Best regards, Guillaume _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
