Menu
▾
▴
Tree [r5783] / History
| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2008-07-17 | dsdale | [r5771] improve error reporting in texmanager |
| tags | 2008-06-26 | mdboom | [r5679] Tagging 0.98.2 release. |
| trunk | 2008-07-17 | jdh2358 | [r5783] added Michael's dolphin patch |
