Using ACL2s with VDI

1. Follow these instructions to connect to Khoury VDI. You will have to install Northeastern VPN and the VMware Horizon Client.
2. On the above page, click "Launch Linux Lab" (not Windows Lab).
3. Login using domain CCIS-WINDOWS.
4. Once the virtual desktop comes up, open a terminal, and cd into directory /proj/acl2s/eclipse/. Run the eclipse executable you find there.