Mercurial > hg > Papers > 2020 > ikkun-sigos

log paper/GearsOS-modelchecking.pdf @ 32:003a8f96e16e default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Wed, 27 May 2020 16:02:50 +0900 ikkun add slide
less more | (0) tip