Select Git revision
doc

Sven Gestegård Robertz authored
refactored grammar: added TypeInstance :: DataType Name and renamed Program to Specification (based on cherry-picked (parts of) 9d2ca1)
Name | Last commit | Last update |
---|---|---|
.. | ||
.gitignore | ||
refs.bib | ||
tech_report.tex |