PLT Web Server Installation

Follow the following simple steps to start using the PLT Web server:

1. Install DrScheme
The Web server requires DrScheme or MzScheme version 200alpha1 or later.
2. Download the server
Choose one of the following installation options:
3. Start the server
Launch the web-server program created in the same location as the other PLT programs such as DrScheme.
The server may need to use a different port, such as 8080, on some systems. Choose a different port by starting the server with an optional port number:web-server 8080
4. Try it out
Direct a Web browser to
http://localhost/
or to
http://localhost:8080/
depending on the server's port.

Powered by