diff options
| author | David Aspinall | 2000-06-16 11:50:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-16 11:50:12 +0000 |
| commit | fefe0c59d3a3ca46f26d2c7bb52c20234e3dcd9b (patch) | |
| tree | aec07ca83a7dd9d725be55e18af26fb56cdca095 /FAQ | |
| parent | 6470c02c16ad15cbab8f18b0fa09bfebe9b92743 (diff) | |
Tuned x-symbol config, moved settings to isabelle-system.el
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions