!http://www.nuprl.org/images/prlpage.gif!
!http://www.nuprl.org/rightline.gif!
h1. Wiki Page for PRL Project users and development team.
h3. PRL Project Component Wikis
*[NuPRL \->|prl:NuPRL System]*
*LPE* (Logical Programming Environment) - not yet active
*FDL* (Federated Digital Library) - not yet active
*EventML* (programming language) - not yet active
h3. Proofing*
----
{section}
{column:width=60%}
{recently-updated}
{popular-labels:count=20|spaceKey=prl|style=heatmap}
{column}
{column:width=5%}
{column}
{column:width=35%}
h6. Navigate space
{pagetreesearch}
{pagetree}
{column}
{section}
{blog-calendar}
| 