diff options
| author | David Aspinall | 2000-05-11 14:33:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:33:55 +0000 |
| commit | b937e7485be9d69c5b32e9837f90708935791271 (patch) | |
| tree | 3f89fcaab93b9299b08a23254bb1e105dfe5828c /FAQ | |
| parent | cc165f075b300ed4b20b6cbfa01582964d2936fa (diff) | |
Moved generic settings to isabelle-system.el. isa-set-default-cmd->isabelle-set..
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions