| branch | isac-update-Isa09-2 |
| changeset 38031 | 460c24a6a6ba |
| parent 37947 | 22235e4dbe5f |
| 38030:95d956108461 | 38031:460c24a6a6ba |
|---|---|
37 |
37 |
38 (*1000 general*) |
38 (*1000 general*) |
39 |
39 |
40 (*1000 general*) |
40 (*1000 general*) |
41 |
41 |
42 | msg2str i l = raise error ("no message for No. "^ |
42 | msg2str i l = error ("no message for No. "^ |
43 string_of_int i^" "^language2str l); |
43 string_of_int i^" "^language2str l); |