History log of /seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/extension/isabelle.png
Revision Date Author Comments
# bf9a058c 19-Dec-2016 wenzelm <none@none>

basic support for VSCode Language Server protocol;
minimal extension for VSCode editor;