ProLinga-Doc 0.0.2 has been released today.
ProLinga-Doc contains both the ProLinga Reference Manual as an Introductory Tutorial.
The following changes are in this release:
ProLinga-Run 0.0.2 can be downloaded from the download page.