Searched refs:revealed_comment (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/scripts/
H A Dmlpp107 my $revealed_comment = 0;
200 ++$revealed_comment;
211 if ($revealed_comment == 0) {
214 --$revealed_comment;
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/scripts/
H A Dmlpp107 my $revealed_comment = 0;
200 ++$revealed_comment;
211 if ($revealed_comment == 0) {
214 --$revealed_comment;

Completed in 16 milliseconds