Mercurial > hg > Papers > 2015 > atton-thesis

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 66: (0) -15 +15 tip
age author description
Tue, 17 Feb 2015 12:28:35 +0900 Yasutaka Higa Add generated prepaper PDF prepaper_v1
Tue, 17 Feb 2015 12:28:08 +0900 Yasutaka Higa Add agda wiki into bibliography
Tue, 17 Feb 2015 12:23:20 +0900 Yasutaka Higa Adjust prepaper
Tue, 17 Feb 2015 12:08:10 +0900 Yasutaka Higa Writing prepaper...
Tue, 17 Feb 2015 10:09:22 +0900 Yasutaka Higa Add abstract in English to prepaper
Mon, 16 Feb 2015 17:16:20 +0900 Yasutaka Higa Add template of prepaper
Mon, 16 Feb 2015 17:09:53 +0900 Yasutaka Higa Move papers into directory
Mon, 16 Feb 2015 16:29:31 +0900 Yasutaka Higa Added tag paper_v1 for changeset c208d759b038
Mon, 16 Feb 2015 16:26:01 +0900 Yasutaka Higa Add generated pdf paper_v1
Mon, 16 Feb 2015 16:24:42 +0900 Yasutaka Higa Fixes
Mon, 16 Feb 2015 15:05:11 +0900 Yasutaka Higa Fix layouts
Mon, 16 Feb 2015 13:47:50 +0900 Yasutaka Higa Add proof DeltaM
Mon, 16 Feb 2015 12:40:53 +0900 Yasutaka Higa Add thebibliography
Sun, 15 Feb 2015 22:38:43 +0900 Yasutaka Higa Add original sources
Sun, 15 Feb 2015 21:56:19 +0900 Yasutaka Higa Add thanks
less more | rev 66: (0) -15 +15 tip