History log of /seL4-l4v-master/HOL4/tools/Holmake/tests/holdep/errors/comment_unterm.sml
Revision Date Author Comments
# ffab9ebb 06-Mar-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Holmake: fix for reporting of unterminated strings and comments

Test cases and one for issue #518 as well (no CI integration yet)

Closes #452