| changeset 50816 | 2c366a03c888 |
| parent 50814 | 4247cbd78aaf |
| child 50906 | 67b04a8375b0 |
| 50815:41b804049fae | 50816:2c366a03c888 |
|---|---|
69 else |
69 else |
70 () |
70 () |
71 *} |
71 *} |
72 |
72 |
73 ML {* |
73 ML {* |
74 if true orelse do_it then |
74 if do_it then |
75 generate_mepo_suggestions @{context} params thys max_suggestions |
75 generate_mepo_suggestions @{context} params thys max_suggestions |
76 (prefix ^ "mepo_suggestions") |
76 (prefix ^ "mepo_suggestions") |
77 else |
77 else |
78 () |
78 () |
79 *} |
79 *} |