| changeset 137 | 8090cb892fd0 |
| parent 38 | f4c8b96189f6 |
| child 204 | f72e95e3d5be |
| 136:fa0ee73ecc02 | 137:8090cb892fd0 |
|---|---|
107 |
107 |
108 |
108 |
109 <H3><A NAME="readers"></A>What early readers said:</H3> |
109 <H3><A NAME="readers"></A>What early readers said:</H3> |
110 |
110 |
111 <i> |
111 <i> |
112 GREAT!!! That's exactly what I was looking for! (Thomas Genet, ISTIC/IRISA, 2012) |
|
113 </i> |
|
114 |
|
115 <p> |
|
116 <i> |
|
112 The tutorial really is quite nice. (Jeremy Avigad, CMU, 2011) |
117 The tutorial really is quite nice. (Jeremy Avigad, CMU, 2011) |
113 </i> |
118 </i> |
114 |
119 |
115 <p> |
120 <p> |
116 <i> |
121 <i> |