Comments (3)
I usually use the tool rlwrap
(https://github.com/hanslub42/rlwrap) to accomplish what you're suggesting, FWIW.
from acl2.
I usually use the tool
rlwrap
(https://github.com/hanslub42/rlwrap) to accomplish what you're suggesting, FWIW.
This worked perfectly, thanks.
from acl2.
Many (probably almost all) ACL2 users either run a shell inside Emacs, which has such capabilities, or use the ACL2 Sedan, ACL2s (see https://www.cs.utexas.edu/users/moore/acl2/manuals/latest/?topic=ACL2____ACL2-SEDAN). I'm closing this issue since ACL2 won't be changing to provide direct support for editing, other than for some useful Emacs utilities available in directory books/emacs/ of the distribution, in particular, file books/emacs/emacs-acl2.el.
from acl2.
Related Issues (20)
- XDOC ignores unknown tags HOT 4
- Make target "save-exec" sometimes fails to rebuild HOT 3
- trace output gets error when certain lisp objects encountered HOT 4
- fty::deftagsum getting error in program mode HOT 2
- Slime support HOT 5
- [Proposal] Improve doc and code links in doc HOT 10
- Add website links to ACL2-help manual page HOT 1
- In :DOC at the terminal and acl2-doc, delimiting italicized and bold text with underscores HOT 8
- ACL2 books certification with SBCL on M1 Mac HOT 7
- preventing include-raw reloading HOT 5
- preventing quicklisp bundle definition from reloading HOT 1
- zippy reload gets error
- `:pr` errors out on induction rule HOT 2
- x86isa instruction issues HOT 3
- Can't certify all books with SBCL 2.3.8 on M2 Mac HOT 12
- Quicklisp books failure for CMUCL HOT 2
- About books/projects/arm/second/fsqrt4/fsqrt4.cpp proof using ACL2 HOT 8
- Is there an automated way to convert Cpp files into lisp files HOT 1
- ACL2 does not build on SBCL 2.4.2 HOT 10
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from acl2.