diff options
| author | David Aspinall | 2010-08-23 17:59:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-23 17:59:44 +0000 |
| commit | 9d8c81aa7f5963964af2a4770975806a8ad45188 (patch) | |
| tree | 879e3fdb7a050fee9711034836eb2a0ccc8e9389 /isar/Example.thy | |
| parent | db9589ee4a9d564a6e81826f32512548820380b2 (diff) | |
texi2html: add -prefix to give same as old behaviour (sub-directory).
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions