![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 2009-02-17 14:42 | 4.5K | |
| TODO.txt | 2009-02-17 14:42 | 453 | |
| bigjot.png | 2009-02-17 14:42 | 6.5K | |
| fig-abstraction-function.eps | 2009-02-17 14:42 | 24K | |
| fig-postcondition-meaning.eps | 2009-02-17 14:42 | 35K | |
| figs.ppt | 2009-02-17 14:42 | 17K | |
| jmldbc.aux | 2009-03-16 13:09 | 6.1K | |
| jmldbc.bbl | 2009-02-17 14:42 | 3.1K | |
| jmldbc.bib | 2009-02-17 14:42 | 8.3K | |
| jmldbc.dvi | 2009-03-16 13:09 | 93K | |
| jmldbc.log | 2009-03-16 13:09 | 8.7K | |
| jmldbc.out | 2009-03-16 13:09 | 1.6K | |
| jmldbc.pdf | 2009-03-16 13:09 | 175K | |
| jmldbc.ps | 2009-03-16 13:09 | 385K | |
| jmldbc.tex | 2009-02-17 14:42 | 48K | |
| jot-sample.tex | 2009-02-17 14:42 | 8.8K | |
| jot.png | 2009-02-17 14:42 | 2.7K | |
| jotarticle.cls | 2009-02-17 14:42 | 14K | |
| jotleft.png | 2009-02-17 14:42 | 4.1K | |
| jotright.png | 2009-02-17 14:42 | 3.6K | |
| paper.bbl | 2009-02-17 14:42 | 3.4K | |
| paper.bib | 2009-02-17 14:42 | 8.6K | |
| paper.tex | 2009-02-17 14:42 | 53K | |
| samples/ | 2009-03-16 13:09 | - | |
| title.png | 2009-02-17 14:42 | 35K | |
| use-full-height.tex | 2009-02-17 14:42 | 118 | |
| use-full-page.tex | 2009-02-17 14:42 | 47 | |
| use-full-width.tex | 2009-02-17 14:42 | 120 | |