# HG changeset patch
# User wenzelm
# Date 880122937 -3600
# Node ID c9b577c8f7a1bf1cb7d00f79a173448003aee4ee
# Parent  61c6ae12ca14b375edee5bdf580e5effb1fdd885
comment;

diff -r 61c6ae12ca14 -r c9b577c8f7a1 src/Pure/Thy/README
--- a/src/Pure/Thy/README	Fri Nov 21 15:34:15 1997 +0100
+++ b/src/Pure/Thy/README	Fri Nov 21 15:35:37 1997 +0100
@@ -4,6 +4,9 @@
     Copyright   1994 TU Muenchen
 
 
+FIXME FIXME FIXME FIXME FIXME Warning: not quite up-to-date!
+
+
 Conventions for theory- and filenames:
 
 - Files for theory T are named T.thy and T.ML where only one of these two