# HG changeset patch # User Yasutaka Higa # Date 1467102925 -32400 # Node ID c8ae70995b29fcd95d31af6dc7a87ae8a1ccf874 # Parent 5eff2b3a7c6dca0c7cda35c7f05911506b1317a0 Update template slide diff -r 5eff2b3a7c6d -r c8ae70995b29 template/slide.md --- a/template/slide.md Tue Jun 21 18:11:25 2016 +0900 +++ b/template/slide.md Tue Jun 28 17:35:25 2016 +0900 @@ -1,4 +1,4 @@ -title: Verification of programs using Continuation based C +title: Verification method of programs using Continuation based C author: Yasutaka Higa profile: lang: Japanese