lurette.prj 1.96 KB
Newer Older
1
2
3
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "")
4
5
(Project-Version lurette 0 8)
(Parent-Version lurette 0 7)
6
(Version-Log "
7
8
9
10
11
12
graph.[ml,mli]:
env.[ml,mli]:
        env__step only needs a node, not the whole arc.

        Also, handle the choice of the transition properly in presence
        of epsilon.
13
")
14
(New-Version-Log "")
15
(Checkin-Time "Wed, 24 Oct 2001 15:08:10 +0100")
16
17
18
19
20
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

21
22
23

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

24

25
26
27
;; Sources files
  (lurette.mli (lurette/11_lurette.ml 1.1 644))
  (lurette.ml (lurette/12_lurette.ml 1.1 644))
28

29
30
  (graph.mli (lurette/13_graph.mli 1.2 644))
  (graph.ml (lurette/14_graph.ml 1.2 644))
31

32
33
  (env.mli (lurette/15_env.mli 1.2 644))
  (env.ml (lurette/16_env.ml 1.2 644))
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

;; Make files
  (OcamlMakefile (lurette/17_OcamlMakef 1.1 644))
  (Makefile (lurette/18_Makefile 1.1 644))


;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))

;; Misc
  (README (lurette/10_README 1.1 644))  
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
  (TAGS (lurette/21_TAGS 1.1 644))
  (test.aut (lurette/22_test.aut 1.1 644))
49

50
51
52
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; Lurette source files Version Mercury
  (Mercury/memory.m (lurette/3_memory.m 1.1 644))
53
  (Mercury/env.m (lurette/4_env_automa 1.5 640))
54
55
56
57
58
  (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))

59

60
; a Mercury module to display graph with dot (should not be in that .prj)
61
  (Mercury/dot.m (lurette/6_dot.m 1.2 644))
62
; A version of dot.m dedicated to display of lurette automata
63
  (Mercury/dot_automata.m (lurette/9_dot_automa 1.1 640))
64
65

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

68
69


70
71
72
)
(Merge-Parents)
(New-Merge-Parents)