This repository has been archived by the owner on Aug 26, 2022. It is now read-only.

Manual link broken on http://p-org.github.io/PSharp/ #43

Closed

CraigStuntz opened this issue May 5, 2016 · 1 comment

CraigStuntz commented May 5, 2016

On http://p-org.github.io/PSharp/ it says:

A good way to start is by reading the manual (which is quite outdated right now, a new version will get released soon, but in the meantime please feel free to contact the P# dev team with specific questions).

The link is broken, but there is a maual, updated within the last two months, at https://github.com/p-org/PSharp/blob/master/Docs/Manual/manual.pdf

Contributor

pdeligia commented May 5, 2016

Thanks @CraigStuntz - the link is now fixed.

pdeligia closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.