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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/c417e434-5763-4d72-b836-d015c14c4449n%40googlegroups.com.