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

14
15
16
17

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

 (README (lurette/10_README 1.1 644))
18
 
19
 (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
20
21
22



23
24
25
26
27
28
29
30
31
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; Lurette source files Version Mercury
  (Mercury/memory.m (lurette/3_memory.m 1.1 644))
  (Mercury/env.m (lurette/4_env_automa 1.4 640))
  (Mercury/lurette.m (lurette/5_lurette.m 1.5 644))
  (Mercury/Mmakefile (lurette/1_Mmakefile 1.3 640))

  (Mercury/test.aut (lurette/8_test2.aut 1.1 640))

32

33
; a Mercury module to display graph with dot (should not be in that .prj)
34
  (Mercury/dot.m (lurette/6_dot.m 1.2 644))
35
; A version of dot.m dedicated to display of lurette automata
36
  (Mercury/dot_automata.m (lurette/9_dot_automa 1.1 640))
37
38

; I have added graph__arc_content in the interface of this library module 
39
40
  (Mercury/graph.m (lurette/7_graph.m 1.1 644))

41
42


43
44
45
)
(Merge-Parents)
(New-Merge-Parents)