log .hgignore @ 50:37a832dff044

age author description
Thu, 12 Feb 2015 17:44:18 +0900 Yasutaka Higa Add escape script
Tue, 10 Feb 2015 12:48:02 +0900 Yasutaka Higa Add description prove method in agda
Sun, 08 Feb 2015 22:23:56 +0900 Yasutaka Higa Fix listings and page numbering
Sun, 08 Feb 2015 12:20:17 +0900 Yasutaka Higa Add forgot figure files
Tue, 03 Feb 2015 17:23:44 +0900 Yasutaka Higa Add mind map
Tue, 03 Feb 2015 16:47:18 +0900 Yasutaka Higa Add .hgignore