Cross Reference: isabelle.png
xref
: /
seL4-l4v-master
/
l4v
/
isabelle
/
src
/
Tools
/
VSCode
/
extension
/
isabelle.png
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/extension/
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;