Checking in uninteresting changes (mostly window resizes :-)

before I remove all this cruft.

diff --git a/Doc/ref/ref1.doc b/Doc/ref/ref1.doc
index d186df466d95595138a1300f6a7e95452aae62d6..1cfeec31d1d2f9eaa6a47ae526e380d5c487b4c7 100644 (file)
Binary files a/Doc/ref/ref1.doc and b/Doc/ref/ref1.doc differ

diff --git a/Doc/ref/ref3.doc b/Doc/ref/ref3.doc
index 10fed168fb2964ec079d84dde556e13fad9833b8..d746256050ca98837c4cf3259e98fd120e970600 100644 (file)
Binary files a/Doc/ref/ref3.doc and b/Doc/ref/ref3.doc differ

diff --git a/Doc/ref/ref4.doc b/Doc/ref/ref4.doc
index 27db8238f2501dfd6d41f632bfe46f9a56cecf66..6bc31c06c7d0e1cd4db26f94abc9f031eabe2842 100644 (file)
Binary files a/Doc/ref/ref4.doc and b/Doc/ref/ref4.doc differ

diff --git a/Doc/ref/ref5.doc b/Doc/ref/ref5.doc
index df848da9864210ec878935e985c8a4a2cf992c5e..313d7d96dd9aa18646dd9b9cac0470a00c004e6a 100644 (file)
Binary files a/Doc/ref/ref5.doc and b/Doc/ref/ref5.doc differ

diff --git a/Doc/ref/ref6.doc b/Doc/ref/ref6.doc
index 61603c5978a6dbdf90d9b8cbc02096102125f0b7..d9623200779c12cc1bff0fcc595c5083d3bd2157 100644 (file)
Binary files a/Doc/ref/ref6.doc and b/Doc/ref/ref6.doc differ

diff --git a/Doc/ref/ref7.doc b/Doc/ref/ref7.doc
index 8e1dbbd27bfdd3a882f17e64877a2b45c9468c61..bf05c541a36a3b1fe9a7b07063c35282465998fa 100644 (file)
Binary files a/Doc/ref/ref7.doc and b/Doc/ref/ref7.doc differ