Searched refs:use_jurabib (Results 1 – 3 of 3) sorted by relevance
2022 use_jurabib = int(document.header[c].split()[1])2030 elif use_jurabib:2048 use_jurabib = '0'2055 use_jurabib = '1'2058 document.header.insert(i, "\\use_jurabib " + use_jurabib)
1828 \use_jurabib 01882 * Support for jurabib (param \use_jurabib [1|0], default is 0).
2718 bool const use_jurabib = isProvided("jurabib"); in parse_text() local4383 if (use_jurabib && in parse_text()