<?xml version="1.0" encoding="UTF-8"?>
<feature
      id="org.lamport.tla.toolbox.feature.help"
      label="TLA+ Toolbox Help Feature"
      version="1.0.0.201710061831"
      provider-name="Simon Zambrovski, Leslie Lamport">

   <description>
      This feature combines all parts needed for the help system and
user assistance.
   </description>

   <plugin
         id="org.lamport.tla.toolbox.doc"
         download-size="4409"
         install-size="5729"
         version="1.5.4.201710061831"/>

</feature>
