Nuprl is currently maintained with the help of the CVS version control system. All the Nuprl code resides in a single CVS module called nuprl4. The main parts of the directory structure as of January 29th 1994 are as follows:
All directories should eventually contain a =README file that describe their contents.