Mercurial > hg > Papers > 2018 > ryokka-sigos

view Slide/fig/hoare-logic.xbb @ 10:328bcfd300bd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix slides
author ryokka
date Sun, 20 May 2018 21:57:24 +0900
parents 907f967f662e
children
line wrap: on
line source

%%Title: hoare-logic.pdf
%%Creator: extractbb 20180217
%%BoundingBox: 0 0 580 76
%%HiResBoundingBox: 0.000000 0.000000 580.000000 76.000000
%%PDFVersion: 1.3
%%Pages: 1
%%CreationDate: Sat May 19 20:23:56 2018