[tlaplus] Pluscal-2

[Amit Vasudevan <amitvasudevan@xxxxxxxxx>]

Hello,

Is the Pluscal-2 implementation available somewhere? This work: https://tel.archives-ouvertes.fr/tel-00815570 mentions the following repository:

https://gforge.inria.fr/projects/pcal2-0/

However, the aforementioned link gives me a 403 (forbidden) error. It seems like gforge has transitioned to gitlab (https://gitlab.inria.fr) , but am unable to find the pcal2-0 project there. Any help would be greatly appreciated. 

Thanks!

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/582b65da-56c3-4faa-bc96-59fd99bdbd6bn%40googlegroups.com.