History log of /seL4-camkes-master/tools/cogent/cogent/manual/cogent-manual.tex
Revision Date Author Comments
# 1d28167f 17-Dec-2019 Gunnar Teege <gunnar.teege@unibw.de>

doc: increase manual version number

[skip ci][skip lemma]
# 49aa9abc 12-Dec-2019 Gunnar Teege <gunnar.teege@unibw.de>

doc: minor corrections

[skip lemma][skip ci]
# 306226af 17-Jan-2019 Gunnar Teege <gunnar.teege@unibw.de>

add initial version of Cogent manual

initial version of Cogent language manual
after integrating feedback by Zilin Chen