Documentation for CSEC machine#72

mattcce wants to merge 2 commits intomainsource-academy/java-slang:mainfrom

docs-csec-machinesource-academy/java-slang:docs-csec-machineCopy head branch name to clipboard