principia Wiki

principia is a system for documenting formal mathematics.

Brought to you by: fundagain

Environment Variable

Authors:

What are environment variables?

[Setting Environment Variables]

Related

Wiki: PRINCIPIA_HOME
Wiki: PRINCIPIA_HOME_VAR