<div dir="ltr"><div>Dear Isabelle Developers,</div><div><br></div>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, <div><br></div><div>writeln (Active.run_shell_command "System" "ghci" "Start GHCi")<br><div><br></div><div>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.</div><div><br></div><div>Regards,</div><div><br></div><div>Simon.<br><div><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Dr. Simon Foster - <span style="font-size:12.7273px">Research Fellow in Computer Science</span><div><span style="font-size:12.7273px">High Integrity Systems Engineering Group, University of York</span></div><div><span style="font-size:12.7273px"><a href="http://www.cs.york.ac.uk/~simonf" target="_blank">http://www.cs.york.ac.uk/~simonf</a></span></div><div><br></div><div><i>My normal working hours are 8:30am to 4:30pm Monday to Friday.</i></div></div></div></div></div></div></div></div></div></div></div>