-
Johannes Kanig authored
So that it can be used to search for other labels. * termcode.ml (search_labels): basically a copy of get_expls_fmla with extra argument for the callback (get_expls_fmla): rewritten to use search_labels
d9a3aab4
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
So that it can be used to search for other labels. * termcode.ml (search_labels): basically a copy of get_expls_fmla with extra argument for the callback (get_expls_fmla): rewritten to use search_labels