Project

General

Profile

Download (114 Bytes) Statistics
| Branch: | Tag: | Revision:
1 589ccf9f Corentin Lauverjat
2
3
(env
4
 (dev
5
  (flags
6
   (:standard -warn-error -A))))
7
8
9
(library 
10
 (name scopes)
11
 (libraries lustrec backends)
12
 )