diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 14:22:07 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 14:22:07 +1000 |
| commit | 8040a5fd511912cb2141e46e5ca9eb1ab766133e (patch) | |
| tree | 4a0de1a1e9c65f08060eb5b25a0326faf433976a /tex/presentation/thomas/proof.sty | |
| parent | 049a16d1b1a683487a0c17014e9f7c477820a132 (diff) | |
Fix a few bugs and add a new example system.
Diffstat (limited to 'tex/presentation/thomas/proof.sty')
0 files changed, 0 insertions, 0 deletions