But I've always liked being able to run a command in an editor window. An editor I wrote in college for VMS, a derivative of Z from Yale, had this features. And of course Emacs does too.
This is a problem, because using ACL2 effectively pretty much requires a good shell window. So I've been hunting around for a solution. Then I thought of Eclipse.
Eclipse has External Tools to run processes. I thought they always ran in batch mode. But I found a trick to run the process in an interactive mode, just like Emacs.
To set it up, just do this:
- From the Run/External Tools/External Tools... menu, create a new tool
- Set the program location to be the path to the ACL2 executable
- Set the working directory to be your directory (I use a variable representing the current project)
- Set the arguments to "-". This is the key to make the process take interactive input from the console.
- Then just run the tool and ACL2 appears inside a window in eclipse.
If you use the Scheme plugin and associate the Scheme Editor with .lisp files (using Preferences/File Assocations), then you will also get paren balancing, syntax coloring and formatting. You have to define some custom settings for ACL2, but this is easy to do. Send me a note and I'll give you my config file.
Oh, and here's what it looks like in action.