diff options
| author | Thomas Kleymann | 1998-06-09 13:14:25 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-06-09 13:14:25 +0000 |
| commit | 165db3d258f96567010fa74ff69528530222aea7 (patch) | |
| tree | 9c585a1ff1647d4ca793b5f4d647f3e05ab33b9f /isa/example.ML | |
| parent | e0d20929d314f6a94897e4974537a16c02d8f3bc (diff) | |
o fixed bug in setting proof-queue-face on a colour terminal for GNU
Emacs (19.34)
o adjusting the directory (at least for LEGO) must not contain "~". We
now expand `default-directory' before cding to it. [Under XEmacs
(unlike Emacs 19.34), `default-directory' is already in expanded form.]
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions