next up previous contents
Next: Interacting witn NDL Up: Natural Deduction Language Previous: What is NDL?   Contents

Installing NDL

Create a directory called ndl on your hard drive, download the appropriate distribution, unpack it inside the ndl directory, and then type ndl at your system's prompt (or ./ndl if you're on a Unix system). Review the file README for a summary of how to install and run NDL. If there are any problems or to report any bugs, email me at konstantine@alum.mit.edu.

2004-08-06