update to WebviewPanel API, following initial version by Peter Zeller;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc06604896c3d: more robust shutdown while Isabelle_Process is starting up, e.g. quit after…
- Branches
- Unknown
- Tags