diff options
| author | David Aspinall | 2004-08-25 20:38:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-25 20:38:39 +0000 |
| commit | c99306fb6077e6b3dd2212ce079c6651865f30f6 (patch) | |
| tree | 181dca02077daa7979f0c5d92e3b1e80f90ea0c0 /FAQ | |
| parent | 1b0a9f62c9ea2e577a72ecf1c180713471b965fb (diff) | |
Explain LaTeX mode for Isabelle a bit better
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions