Commit 1be8d1e6 authored by erwan's avatar erwan
Browse files

doc: replace a symlinked file by a true file

parent fe00e975
/home/jahier/slides/lv6/figs/patate.fig
\ No newline at end of file
#FIG 3.2 Produced by xfig version 3.2.5-alpha5
Landscape
Center
Metric
A4
100.00
Single
-2
1200 2
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2674 1980 408 408 2674 1980 3082 1980
1 2 0 1 18 7 70 -1 -1 0.000 1 0.0000 2460 2001 1278 992 1182 2001 3737 2001
1 2 0 1 8 7 80 -1 -1 0.000 1 4.7124 2419 1976 477 666 1941 1976 2896 1976
1 2 0 1 12 7 60 -1 -1 0.000 1 0.0000 3250 1973 1010 581 2240 1973 4260 1973
1 4 0 1 9 7 60 -1 -1 0.000 1 0.0000 2635 2225 147 147 2488 2225 2783 2225
2 1 0 1 0 7 110 -1 -1 0.000 0 0 -1 0 0 2
3967 2258 4477 2527
2 1 0 1 0 7 120 -1 -1 0.000 0 0 -1 0 0 2
1892 3242 2140 2201
2 1 0 1 0 7 90 -1 -1 0.000 0 0 -1 0 0 2
2033 876 2062 1344
2 1 0 1 0 7 100 -1 -1 0.000 0 0 -1 0 0 2
4094 1167 3358 1755
2 2 0 0 0 7 0 -1 -1 0.000 0 0 -1 0 0 5
1113 501 6276 501 6276 3504 1113 3504 1113 501
4 0 18 70 -1 0 17 0.0000 4 191 340 1431 2447 V6\001
4 0 0 110 -1 0 17 0.0000 4 255 1615 4534 2654 homomorphic\001
4 0 0 100 -1 0 17 0.0000 4 191 680 4137 1138 arrays\001
4 0 0 120 -1 0 17 0.0000 4 255 1572 1601 3419 array iterators\001
4 0 0 110 -1 0 17 0.0000 4 191 1126 4534 2994 extension\001
4 0 8 80 -1 0 17 0.0000 4 191 297 1897 2086 lic\001
4 0 0 90 -1 0 17 0.0000 4 255 4313 1148 756 struct, enums, packages, genericity, ...\001
4 0 0 50 -1 0 17 0.0000 4 191 637 2376 1892 lustre\001
4 0 0 50 -1 0 17 0.0000 4 127 489 2461 2058 core\001
4 0 12 60 -1 0 17 0.0000 4 191 340 3788 2098 V4\001
4 0 8 60 -1 0 17 0.0000 4 127 255 2522 2307 ec\001
......@@ -1105,7 +1105,7 @@ size).
\section{Recursive nodes}
\label{recnode}
Nodes can even be defined recursively using the ``with'' construct
Nodes can even be defined recursively using the ``\texttt{with}'' construct.
\begin{example}[Recursive Node]
\input{consensus2.lus}
......
......@@ -4,5 +4,4 @@ let
a = with (n = 1) then T[0]
else T[0] and consensus << n-1 >> (T[1 .. n-1]);
tel
node consensus2 = consensus<<8>>;
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment