diff options
| author | Makarius Wenzel | 2001-08-30 20:55:38 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-08-30 20:55:38 +0000 |
| commit | 401fde8814f51692e73b0ad5704d41de3d9e2918 (patch) | |
| tree | cfba2046a7787a0418afea692e72da651997d258 /FAQ | |
| parent | d2a785370e33b82d31e23b4564aa1785d231a437 (diff) | |
include ISABELLE_HOME_USER/etc/isar-keywords.el or
ISABELLE_HOME/etc/isar-keywords.el if available;
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions