Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ 86ae18b7

History | View | Annotate | Download (678 Bytes)

# Date Author Comment
86ae18b7 01/10/2017 01:53 PM Pierre-Loïc Garoche

Import of all Teme's modification from the github repo.

9421e247 02/23/2016 10:15 PM Teme Kahsai

added README

7df1a309 04/08/2015 03:54 PM Pierre-Loïc Garoche

horn queries back

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@441 041b043f-8d7c-46b2-b46e-ef0dd855326e

8b34da11 03/03/2015 09:10 PM Teme Kahsai

README.md edited online with Bitbucket

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@413 041b043f-8d7c-46b2-b46e-ef0dd855326e