diff options
| author | Hendrik Tews | 2020-12-25 18:00:03 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-26 23:08:11 +0100 |
| commit | 2d94aa0aabf0aa7087f8833e1c61d95a034e2d13 (patch) | |
| tree | adfd69a9003b8e8ca4e792eb19009557541bf53b /hol98/example.sml | |
| parent | 221b68de1a06c0833fb91e26f27721e8f928d45c (diff) | |
make-temp-file without text argument for emacs 25
fixes #534
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions