changeset 15010 | 72fbe711e414 |
parent 14984 | edbc81e60809 |
child 15190 | b6788dbd2ef9 |
--- a/src/Pure/General/output.ML Tue Jun 29 10:07:56 2004 +0200 +++ b/src/Pure/General/output.ML Tue Jun 29 11:18:34 2004 +0200 @@ -1,7 +1,6 @@ (* Title: Pure/General/output.ML ID: $Id$ Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) - License: GPL (GNU GENERAL PUBLIC LICENSE) Output channels and diagnostic messages. *)