Custom Query (1030 matches)
Results (871 - 873 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #1138 | fixed | Don't do syntax highlighting in text mode | ||
| Description |
If the editor is in text mode, currently semicolon and #| |# comments are highlighted in color as though they were in a lisp file. This shouldn't happen. |
|||
| #1141 | duplicate | -e switch on CCL | ||
| Description |
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 this gives an error message that the file "acl2acl2-default-restart" is not found. Any pointers would be appreciated. Scott |
|||
| #1143 | fixed | arglist-on-space-command crashes on particular files | ||
| Description |
If you make a new Hemlock window and paste the following two lines into it #!/bin/sh ; then put the cursor after the semicolon and hit the spacebar, CCL will crash (technically, it beachballs without AltConsole being invoked, because the "arglist on space" command goes into an infinite loop.) The problem doesn't happen if you set the window to Text Mode -- it only happens in Lisp mode. And it doesn't happen if you first add a newline before the initial # character. |
|||
