Mercurial > hg > Papers > 2015 > atton-thesis

log Makefile @ 55:43213dcf8d24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Mon, 16 Feb 2015 12:40:53 +0900 Yasutaka Higa Add thebibliography
Sun, 15 Feb 2015 10:33:47 +0900 Yasutaka Higa Writing description proofs of monad-laws for delta
Thu, 12 Feb 2015 17:46:01 +0900 Yasutaka Higa Add command for escape agda source
Wed, 11 Feb 2015 12:37:46 +0900 Yasutaka Higa Fix function name
Sun, 08 Feb 2015 12:19:30 +0900 Yasutaka Higa Add figures category
Sat, 07 Feb 2015 11:41:37 +0900 Yasutaka Higa Update Makefile
Tue, 03 Feb 2015 17:24:05 +0900 Yasutaka Higa Add template
less more | (0) tip