tabs.yml

- name: Plugins
  link: /html/kernel-plugin.html
  id  : kernel-plugin
- name: Kernel
  link: /html/kernel.html
  id  : kernel
- name: Specification
  link: /html/acsl.html
  id  : acsl
- name: GUI
  link: /html/gui.html
  id  : gui