Skip to content
Snippets Groups Projects
Commit a1689253 authored by Shale XIONG's avatar Shale XIONG
Browse files

Clear up the sub_menu field.

parent b112e368
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
research/concurrency.md
+ 0
− 1
View file @ a1689253
...@@ -4,7 +4,6 @@ project_id: concurrency ...@@ -4,7 +4,6 @@ project_id: concurrency
menu: true menu: true
parent_menu: Research parent_menu: Research
menu_order: 3 menu_order: 3
sub_menu_order: 1
--- ---
We develop formal reasoning techniques for concurrent programs, with a We develop formal reasoning techniques for concurrent programs, with a
......
research/javascript.md
+ 0
− 1
View file @ a1689253
...@@ -4,7 +4,6 @@ project_id: web ...@@ -4,7 +4,6 @@ project_id: web
menu: true menu: true
parent_menu: Research parent_menu: Research
menu_order: 3 menu_order: 3
sub_menu_order: 2
--- ---
We study the mechanised specification of the JavaScript language We study the mechanised specification of the JavaScript language
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment