Is there a command that prints all the commands that came before? Using coqtop
https://github.com/coq/coq/commit/6a5dcbbfea1af0308a4d49e7c5bcea26d74a739d
tldr use a text editor
if you wanted prompt conveniences there's rlwrap
but I agree
the coqtop specific commands are in https://github.com/coq/coq/blob/master/toplevel/g_toplevel.mlg btw
Now that we have dune I'm all for vendoring some readline like library and linking to coqtop
that's a nice hacktahon project
I have a pr to used utop on Drop too
I'll be happy to supervise it
Last updated: Jun 05 2023 at 09:01 UTC