diff options
| author | Makarius Wenzel | 2000-07-08 14:28:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-08 14:28:21 +0000 |
| commit | 761d9aac830e435e59dcb97ae31a43fdcb5ac10f (patch) | |
| tree | 9912cdba0f41ef2ad2947e7003f963947c6d7a05 /html | |
| parent | 2a2eb0ba56f2c897bf0ed9a2a32b97fcb0deee04 (diff) | |
do not change isabelle-prog-name here;
be less aggressive in changing x-symbol-enable;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions