Mercurial > hg > Papers > 2018 > ryokka-sigos

directory /Paper/pic/ @ 1:bf2887cd22c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file 00.graffle 76940 -rw-r--r--
file 03.graffle 16298 -rw-r--r--
file 06.eps 105025 -rw-r--r--
file AgdaBasics.agda.replaced 24 -rw-r--r--
file AgdaInterface.agda.replaced 2558 -rw-r--r--
file AgdaSingleLinkedStack.agda.replaced 3844 -rw-r--r--
file AgdaStackImpl.agda.replaced 1429 -rw-r--r--
file AgdaStackSomeState.agda.replaced 636 -rw-r--r--
file AgdaStackTest.agda.replaced 1017 -rw-r--r--
file AgdaTree.agda.replaced 991 -rw-r--r--
file AgdaTreeDebug.agda.replaced 416 -rw-r--r--
file AgdaTreeImpl.agda.replaced 2288 -rw-r--r--
file AgdaTreeProof.agda.replaced 2417 -rw-r--r--
file CodeSegment.agda.replaced 164 -rw-r--r--
file DataSegment.agda.replaced 99 -rw-r--r--
file Goto.agda.replaced 141 -rw-r--r--
file MetaGear.graffle 9730 -rw-r--r--
file MetaGear.pdf 14401 -rw-r--r--
file MetaGear.xbb 210 -rw-r--r--
file cbc-hoare.pdf 9731 -rw-r--r--
file cbc-hoare.xbb 211 -rw-r--r--
file cbc-subtype.pdf 16746 -rwxr-xr-x
file cbc-subtype.xbb 215 -rw-r--r--
file cbc_goto.graffle 25529 -rw-r--r--
file cbc_goto.pdf 12477 -rw-r--r--
file cbc_goto.xbb 210 -rw-r--r--
file codeGear_dataGear.graffle 2515 -rw-r--r--
file codeGear_dataGear.pdf 14731 -rw-r--r--
file codeGear_dataGear.svg 37039 -rw-r--r--
file codeGear_dataGear.xbb 219 -rw-r--r--
file codeGear_dataGear_dependency.graffle 2460 -rw-r--r--
file codeGear_dataGear_dependency.pdf 11513 -rw-r--r--
file codeGear_dataGear_dependency.xbb 230 -rw-r--r--
file codesegment.pdf 12765 -rw-r--r--
file codesegment.xbb 211 -rw-r--r--
file codesegment2.pdf 12477 -rwxr-xr-x
file codesegment2.xbb 214 -rw-r--r--
file csds.pdf 8545 -rwxr-xr-x
file csds.xbb 204 -rw-r--r--
file factorial.pdf 14169 -rwxr-xr-x
file factorial.xbb 211 -rw-r--r--
file gears-meta.pdf 13636 -rwxr-xr-x
file gears-meta.xbb 212 -rw-r--r--
file gears_structure.graffle 7040 -rw-r--r--
file gears_structure.pdf 27075 -rw-r--r--
file gears_structure.xbb 217 -rw-r--r--
file gearsos.graffle 6012 -rw-r--r--
file gearsos.pdf 23520 -rw-r--r--
file gearsos.xbb 213 -rw-r--r--
file generate_context.graffle 3132 -rw-r--r--
file generate_context.pdf 16635 -rw-r--r--
file generate_context.xbb 218 -rw-r--r--
file generate_context2.pdf 14457 -rw-r--r--
file generate_context2.xbb 219 -rw-r--r--
file generate_context3.pdf 14224 -rw-r--r--
file generate_context3.xbb 219 -rw-r--r--
file generate_context_2.graffle 2298 -rw-r--r--
file goto.pdf 12765 -rwxr-xr-x
file goto.xbb 204 -rw-r--r--
file hoare-logic.pdf 8609 -rw-r--r--
file hoare-logic.xbb 211 -rw-r--r--
file meta-hierarchy.pdf 10689 -rwxr-xr-x
file meta-hierarchy.xbb 216 -rw-r--r--
file meta.pdf 8826 -rwxr-xr-x
file meta.xbb 206 -rw-r--r--
file metaCS.pdf 10693 -rw-r--r--
file metaCS.xbb 214 -rw-r--r--
file meta_cg_dg.graffle 3003 -rw-r--r--
file meta_cg_dg.pdf 14654 -rw-r--r--
file meta_cg_dg.xbb 212 -rw-r--r--
file meta_gear.graffle 2408 -rw-r--r--
file meta_gear.pdf 13986 -rw-r--r--
file meta_gear.xbb 211 -rw-r--r--
file metameta.pdf 9636 -rwxr-xr-x
file metameta.xbb 210 -rw-r--r--
file modus-ponens.pdf 9824 -rwxr-xr-x
file modus-ponens.xbb 220 -rw-r--r--
file non-destructive-rbtree.pdf 18720 -rwxr-xr-x
file non-destructive-rbtree.xbb 224 -rw-r--r--
file persistent_date_tree.graffle 3259 -rw-r--r--
file persistent_date_tree.pdf 19014 -rw-r--r--
file persistent_date_tree.xbb 222 -rw-r--r--
file persistent_date_tree_2.graffle 3178 -rw-r--r--
file persistent_date_tree_2.pdf 15766 -rw-r--r--
file persistent_date_tree_2.xbb 224 -rw-r--r--
file put.pdf 8905 -rwxr-xr-x
file put.xbb 205 -rw-r--r--
file rbtree.pdf 9239 -rwxr-xr-x
file rbtree.xbb 208 -rw-r--r--
file ryukyu.pdf 31478 -rw-r--r--
file ryukyu.xbb 208 -rw-r--r--
file subtype-arg.pdf 18265 -rwxr-xr-x
file subtype-arg.xbb 215 -rw-r--r--
file subtype-return.pdf 19006 -rwxr-xr-x
file subtype-return.xbb 218 -rw-r--r--
file taskManager.graffle 3029 -rw-r--r--
file taskManager.pdf 15884 -rw-r--r--
file taskManager.xbb 215 -rw-r--r--
file twice_640.pdf 5693 -rw-r--r--
file twice_640.xbb 211 -rw-r--r--
file verification.graffle 7099 -rw-r--r--
file verification.pdf 15273 -rw-r--r--
file verification.xbb 214 -rw-r--r--
file worker.graffle 4499 -rw-r--r--
file worker.pdf 19817 -rw-r--r--
file worker.svg 81279 -rw-r--r--
file worker.xbb 208 -rw-r--r--