Project

General

Profile

Revision b38ffff3 doc/lustre_spec.org

View differences:

doc/lustre_spec.org
1 1
Lustre annotation/specification language
2
#+AUTHORS: Pierre-Loic Garoche, Rémi Delmas, Temesghen Kahsai
2 3
#+LATEX_HEADER: \usepackage{tikz,listings,stmaryrd,pgfplots,mathrsfs,syntax}
3 4
#+LATEX_HEADER: \input{lustre_lst}
4 5

  

Also available in: Unified diff