Skip to content
GitLab
Explore
Sign in
History
Versions
4
Version
Author
Diff
Last updated
v4
Carlos Ramisch
Rename head annotation again
Nov 27, 2018
v3
Carlos Ramisch
Rename head of annotation guidelines
Nov 27, 2018
v2
Carlos Ramisch
Update notations
Oct 09, 2018
v1
Carlos Ramisch
carlos.ramisch created page: notations
Oct 07, 2018