Mercurial > hg > Members > atton > agda > systemT

diff .hgignore @ 2:ca2e9f7a7898

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add De Morgan's laws
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 13 May 2014 11:14:49 +0900
parents c9c65ee9e9f9
children
line wrap: on
line diff