Open PlusCal manual and Specifying Systems with the OS browser.
Open PlusCal manual and Specifying Systems with the OS browser.

The built-in PDF viewer cannot render Specifying Systems for what
appears to be integer overflow deep in the SUN PDF renderer.

[Bug][Toolbox]
tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus