(load (concat twelf-root "emacs/twelf-init.el"))
If you put Twelf in the directory /somewhere/twelf/ then you should add these lines (just replace somewhere with wherever you built Twelf). emacs file in your home directory, you can create one and add these two lines. On Linux, Twelf can be built by running the following commands:Ī piece of information about using Twelf with Emacs is printed out by the installation script (and can be found in the disk image for the OSX distribution), telling you to add two lines somewhere in your. Using Twelf with MLton has not been tested on Windows. This can be obtained from the MLton website. You will need to have the MLton compiler installed on your system. Once you have these things set up, Twelf can be built by running the following commands:
#Install sml on linux install#
Windows users should check out the Cygwin Project to install those tools under Windows. These come with basically any Linux distribution. Additionally, you will need the standard unix-style Make tools. This can be obtained from the SML/NJ website. You will need to have the Standard ML of New Jersey software on your computer.
If you download the pre-compiled Linux or Windows versions of Twelf, simply run the installer (on Windows) or unpack the tarball wherever you want to put the distribution (on Linux), and the skip to the instructions for setting up Emacs below. Installation instructions Pre-compiled versions