Moves Specification before GUI

b879d7d6 · Allan Blanchard · d7a73759 · b879d7d6
Commit b879d7d6 authored Nov 19, 2020 by Allan Blanchard
--- a/_data/tabs.yml
+++ b/_data/tabs.yml
@@ -4,9 +4,9 @@
 - name: Kernel
  link: /html/kernel.html
  id  : kernel
- name: GUI
-  link: /html/gui.html
-  id  : gui
 - name: Specification
  link: /html/acsl.html
  id  : acsl
+- name: GUI
+  link: /html/gui.html
+  id  : gui