Mercurial > hg > Members > atton > generated_seminar_slides

changeset 12:b078343201aa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 25 Mar 2014 18:38:05 +0900
parents 3fe5bd1b1793
children 5baa177a1301
files slides/20140325/slide.html slides/20140325/slide.md
diffstat 2 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20140325/slide.html	Tue Mar 25 17:54:38 2014 +0900
+++ b/slides/20140325/slide.html	Tue Mar 25 18:38:05 2014 +0900
@@ -2,7 +2,7 @@
 
 <html lang="Japanese">
 <head>
-	<title>証明によるプログラムの信頼性の向上(仮)</title>
+	<title>プログラムから証明の自動生成(仮)</title>
 	<meta charset="UTF-8">
 	<meta name="viewport" content="width=1274, user-scalable=no">
 	<meta name="generator" content="Slide Show (S9)">
@@ -18,13 +18,13 @@
 </head>
 <body class="list">
 	<header class="caption">
-		<h1>証明によるプログラムの信頼性の向上(仮)</h1>
+		<h1>プログラムから証明の自動生成(仮)</h1>
 		<p>Yasutaka Higa</p>
 	</header>
 	<div class="slide bg" id="Cover"><div>
 		<section>
 			<header>
-				<h2>証明によるプログラムの信頼性の向上(仮)</h2>
+				<h2>プログラムから証明の自動生成(仮)</h2>
 			</header>
 			
 			<img src="pictures/" alt="">
@@ -43,7 +43,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.1.1 (2014-02-24) [x86_64-darwin13.0]
-                on 2014-03-25 17:54:04 +0900 with Markdown engine kramdown (1.3.3)
+                on 2014-03-25 18:38:05 +0900 with Markdown engine kramdown (1.3.3)
                   using options {}
   -->
 
--- a/slides/20140325/slide.md	Tue Mar 25 17:54:38 2014 +0900
+++ b/slides/20140325/slide.md	Tue Mar 25 18:38:05 2014 +0900
@@ -1,4 +1,4 @@
-title: 証明によるプログラムの信頼性の向上(仮)
+title: プログラムから証明の自動生成(仮)
 author: Yasutaka Higa
 cover:
 lang: Japanese