checkpoint before I throw this away

diff --git a/Doc/ref/ref.pdf b/Doc/ref/ref.pdf
index 56016117f454b8e51e84037ca6cff009c01ac6cb..f31053f2a72cffe7156ea63d01fc34b885f17b7b 100644 (file)
Binary files a/Doc/ref/ref.pdf and b/Doc/ref/ref.pdf differ

diff --git a/Doc/ref/refIX.doc b/Doc/ref/refIX.doc
index adc3160fd543264dfb381b1235cf15d48d201e3a..4eb799fab81f31e18f5d1b81c9f8e7530db57dcf 100644 (file)
Binary files a/Doc/ref/refIX.doc and b/Doc/ref/refIX.doc differ

diff --git a/Doc/ref/refTOC.doc b/Doc/ref/refTOC.doc
index 8ae2400b201ebcb50f038bb02f93cedae21a8712..8025cf77a55fd79401659f6dbfacfb3bf5071d1f 100644 (file)
Binary files a/Doc/ref/refTOC.doc and b/Doc/ref/refTOC.doc differ