diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-10 16:42:34 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-10 16:42:34 +1000 |
| commit | 18dc8b174995d6d37c6cdfc66cb1ba141729b2ed (patch) | |
| tree | 12b570a0600e772603e3c02f8cdc03b2955312ce /tex/presentation/thomas/proof.sty | |
| parent | ef4a319984d22b88a9024ff523700d657621124d (diff) | |
Modify MaxStrategy to print itself better.
Diffstat (limited to 'tex/presentation/thomas/proof.sty')
0 files changed, 0 insertions, 0 deletions