etc/components
changeset 64622 529bbb8977c7
parent 59810 e749a0f2f401
     1.1 --- a/etc/components	Tue Dec 20 21:35:56 2016 +0100
     1.2 +++ b/etc/components	Tue Dec 20 22:24:16 2016 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4  #hard-wired components
     1.5  src/Tools/jEdit
     1.6  src/Tools/Graphview
     1.7 +src/Tools/VSCode
     1.8  src/HOL/Mirabelle
     1.9  src/HOL/Mutabelle
    1.10  src/HOL/Library/Sum_of_Squares