diff options
| author | David Aspinall | 1998-12-11 13:42:33 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 13:42:33 +0000 |
| commit | d94468a3f1fa9bb97cdb24508347396aa8564693 (patch) | |
| tree | 77d32f26cb2e49298ff6ed760eb34c5981d4bb39 /generic/proof-script.el | |
| parent | 054fd4bec4830465cc0026588c72e37af9a7a664 (diff) | |
Tidied output by putting newlines before imports done message.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions