ACL2 Sedan interface
Major Section:  ACL2-TUTORIAL

Many successful ACL2 users run in an shell under Emacs; see emacs. However, those not familiar with Emacs may prefer to start with an Eclipse-based interface developed by Peter Dillinger and Pete Manolios called the ``ACL2 Sedan'', or ``ACL2s''. As of this writing, the home page for ACL2s is