.lurette.prcs_aux 555 Bytes
Newer Older
1
2
3
4
;; This file is automatically generated, editing may cause PRCS to do
;; REALLY bad things.
(Created-By-Prcs-Version 1 3 3)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
5
(test2.aut 1231 1002546062 8_test2.aut 1.1)
6
7
(Mmakefile 102 1002789994 1_Mmakefile 1.3)
(env.m 9936 1002789994 4_env_automa 1.4)
8
(dot_automata.m 5814 1002546062 9_dot_automa 1.1)
9
(memory.m 3884 1002196285 3_memory.m 1.1)
10
(graph.m 15076 1002205313 7_graph.m 1.1)
11
(dot.m 3636 1002298322 6_dot.m 1.2)
12
(lurette.m 4239 1002789994 5_lurette.m 1.5)
13
(test1.aut 1108 1002196285 2_test1.aut 1.1)