TFL/sys.sml
changeset 3302 404fe31fd8d2
parent 3245 241838c01caf
child 3353 9112a2efb9a3
--- a/TFL/sys.sml	Thu May 22 15:11:56 1997 +0200
+++ b/TFL/sys.sml	Thu May 22 15:13:16 1997 +0200
@@ -1,4 +1,10 @@
-(* Compile the TFL system *)
+(*  Title:      TFL/mask
+    ID:         $Id$
+    Author:     Konrad Slind, Cambridge University Computer Laboratory
+    Copyright   1997  University of Cambridge
+
+Compile the TFL system
+*)
 
 (* Portability stuff *)
 nonfix prefix;