Custom Query (1030 matches)

I am trying to build acl2 on ccl.

the following seems to look for a file instead of eval-ing the form as the -e switch should do..

export CCL_DEFAULT_DIRECTORY="/Applications/ClozureCL.app/Contents/Resources/ccl/" exec "/Applications/ClozureCL.app/Contents/MacOS/dx86cl64" -I "/Users/sms/acl2/v6-4/acl2-sources/saved_acl2.dx86cl64" -Z 64M -K ISO-8859-1 -e "(acl2::acl2-default-restart)" "$@"

this gives an error message that the file "acl2acl2-default-restart" is not found.

Any pointers would be appreciated. Scott

Suggestion Option-click close or hide on Hemlock window button would be useful. This to close or hide all windows of that type. Useful to clear clutter such as closing many inspector windows, or some other window of a type, but not closing any other windows. The same window type operations for any window type in the CCL API.

At the moment, option-click window close button closes all visible CCL windows. Unsure how this tallies with ​http://support.apple.com/kb/HT1343

Often I find myself with a billion utility windows (e.g. "Definitions of ...") in the IDE and I want to close them all at once to get rid of the clutter. But I don't want to close ALL the windows in the IDE.

When option key is held down while the red close box of a window is clicked, all the windows in the IDE shouldn't close, since that's kind of silly and useless with a development system. Instead, only the windows of the type clicked on should close. So if you option-close a Hemlock window, all the hemlock windows close but all the rest stay open. Likewise if you option-close on a listener window or a utility window (ns-window), or some newly-defined window class, only the windows of that class should close.