@ -9,7 +9,7 @@
* [[Terminology|Introduction#terminology]]
* [[User documentation]]
* [[Student|User documentation#student]]
* [[Lecturer|User documentation#group-supervisor]]
* [[Group supervisor|User documentation#group-supervisor]]
* [[Administrator|User documentation#administrator]]
* [[Overall architecture]]
* [[Description|Overall architecture#description]]