You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Some of requests from Isabelle/Eclipse users were to allow automatically check Isabelle proof scripts from within Eclipse applications. This use case is not for using the editor and prover IDE, but rather to integrate with Isabelle to check proof scripts automatically.
Provide a convenient API to do this: it should allow to check a given proof script and report whether there are any errors. This would likely involve some support around asynchronous execution.
Also this would possibly need an option to auto-start Isabelle without user interaction.
The text was updated successfully, but these errors were encountered:
Some of requests from Isabelle/Eclipse users were to allow automatically check Isabelle proof scripts from within Eclipse applications. This use case is not for using the editor and prover IDE, but rather to integrate with Isabelle to check proof scripts automatically.
Provide a convenient API to do this: it should allow to check a given proof script and report whether there are any errors. This would likely involve some support around asynchronous execution.
Also this would possibly need an option to auto-start Isabelle without user interaction.
The text was updated successfully, but these errors were encountered: