lurette.prj 1002 Bytes
Newer Older
1
2
3
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "")
4
5
6
(Project-Version lurette 0 5)
(Parent-Version lurette 0 4)
(Version-Log "")
7
(New-Version-Log "")
8
(Checkin-Time "Thu, 11 Oct 2001 09:46:34 +0100")
9
10
11
12
13
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

14
15
16
17
18
 
; Lurette source files
  (memory.m (lurette/3_memory.m 1.1 644))
  (env.m (lurette/4_env_automa 1.4 640))
  (lurette.m (lurette/5_lurette.m 1.5 644))
19
20
21



22
23
24
25
 (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
  (Mmakefile (lurette/1_Mmakefile 1.3 640))
  (test1.aut (lurette/2_test1.aut 1.1 644)) 
  (test2.aut (lurette/8_test2.aut 1.1 640))
26

27
; a Mercury module to display graph with dot (should not be in that .prj)
28
  (dot.m (lurette/6_dot.m 1.2 644))
29
30
31
32
; A version of dot.m dedicated to display of lurette automata
  (dot_automata.m (lurette/9_dot_automa 1.1 640))

; I have added graph__arc_content in the interface of this library module 
33
  (graph.m (lurette/7_graph.m 1.1 644))
34
35


36
37
38
)
(Merge-Parents)
(New-Merge-Parents)