Searched defs:html_output (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/poly/ | ||
| H A D | holfoot_command_line.sml | 250 val (html_output, args) = (true, Lib.snd (Lib.pluck (fn x => x = "--html") args)) value |
Completed in 29 milliseconds