diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-12-05 11:34:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-12-05 11:34:19 +0000 |
| commit | 3981fa30d403e67b88724edf304e9bea8c290a8e (patch) | |
| tree | 9e0dda58e444b9c1e99760cdff54cab0b15f5330 /isar/isar-syntax.el | |
| parent | 622fa107118ae96d9e94b4c601c2633006bf1d75 (diff) | |
Some minimal updates for 4.0pre
Diffstat (limited to 'isar/isar-syntax.el')
0 files changed, 0 insertions, 0 deletions