Page MenuHomePhabricator

Adapt Isabelle/VSCode to Webview API
Open, NormalPublic

Description

See https://code.visualstudio.com/api/extension-guides/webview -- this is relevant for existing State output (broken in Isabelle2019), and might open possibilities for more advanced HTML displays.

Event Timeline

makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Task Author".
makarius added a project: isabelle-dev.
makarius claimed this task.Sep 25 2019, 1:52 PM
makarius triaged this task as Normal priority.