Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Extension for jEdit Console Active Area

view this post on Zulip Email Gateway (Jul 21 2021 at 12:23):

From: Simon Foster <>
Dear Isabelle Developers,

I've had a first go at developing a PIDE active area that integrates with
the jEdit console plugin. This is essentially a new Markup element called
"run_shell_command" that can be used to execute a command in a target
console. There's also a new Isabelle/ML function
Active.run_shell_command: string -> string -> string -> string, which takes
a target shell (e.g. "System", "Scala" etc.), a command to execute, and a
message to display. If printed with writelen, the markup produces an active
area in the Output pane that switches focus to the Console pane, and given
Shell, and runs the given command. For example,

writeln (Active.run_shell_command "System" "ghci" "Start GHCi")

An envisaged use case is use of external interpreters, such as GHCi, to
execute code and other exported artifacts. A patch wrt. to the Isabelle
development repository, adding the above functionality, is attached. I'd be
happy to receive any feedback or suggested changes on this.



view this post on Zulip Email Gateway (Jul 23 2021 at 13:19):

From: Simon Foster <>
Hi all,

Just a brief update on this. I've added the ability to pass a new working
directory to, which causes the shell to switch directory prior to running
the command. A patch increment to the previous one is attached.



Last updated: Mar 04 2024 at 10:08 UTC