From a16892537c9cfd87a0ad6f4c54e9e9d3d4df791a Mon Sep 17 00:00:00 2001 From: Shale XIONG <shalexiong@dyn1169-96.wlan.ic.ac.uk> Date: Fri, 18 Nov 2016 11:00:47 +0000 Subject: [PATCH] Clear up the sub_menu field. --- research/concurrency.md | 1 - research/javascript.md | 1 - 2 files changed, 2 deletions(-) diff --git a/research/concurrency.md b/research/concurrency.md index 9a07d43..4919777 100644 --- a/research/concurrency.md +++ b/research/concurrency.md @@ -4,7 +4,6 @@ project_id: concurrency menu: true parent_menu: Research menu_order: 3 -sub_menu_order: 1 --- We develop formal reasoning techniques for concurrent programs, with a diff --git a/research/javascript.md b/research/javascript.md index 7f2887a..dc0b2df 100644 --- a/research/javascript.md +++ b/research/javascript.md @@ -4,7 +4,6 @@ project_id: web menu: true parent_menu: Research menu_order: 3 -sub_menu_order: 2 --- We study the mechanised specification of the JavaScript language -- GitLab