Hi, I am trying to run Dracula. I try to follow the instructions, but they seem quiet old, so I was not sure what to follow. I did install acl2 using apt-get instead of downloading by hand.
I use DrRacket 7.8 and I installed Dracula with raco pkg install dracula I installed acl2 version 8.3 using apt-get in ubuntu 20.10. When prompted I enter /usr/local/bin/acl2 as ACL2 executable. I start Dracula from the menu and I get the Dracula window to the right. However when trying to run Dracula on the factorial expression I get ACL2 Error in TOP-LEVEL: The symbol BEGIN (in package "ACL2") has neither a function nor macro definition in ACL2. Please define it. instead of the expected behavior. Would be thankful for some hints and sorry if I missed something obvious! Dan -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/c417e434-5763-4d72-b836-d015c14c4449n%40googlegroups.com.
