Updated to the most pressing 1.5 issues.

1997-11-25 18:20:52 +00:00 · 1997-11-25 18:20:52 +00:00 · 71ace95e12
parent 4aa6186216
commit 71ace95e12
13 changed files with 5741 additions and 5783 deletions
--- a/Doc/ref/ref.book
+++ b/Doc/ref/ref.book
--- a/Doc/ref/ref.ps
+++ b/Doc/ref/ref.ps
--- a/Doc/ref/ref0.doc
+++ b/Doc/ref/ref0.doc
--- a/Doc/ref/ref1.doc
+++ b/Doc/ref/ref1.doc
--- a/Doc/ref/ref2.doc
+++ b/Doc/ref/ref2.doc
--- a/Doc/ref/ref3.doc
+++ b/Doc/ref/ref3.doc
--- a/Doc/ref/ref4.doc
+++ b/Doc/ref/ref4.doc
--- a/Doc/ref/ref5.doc
+++ b/Doc/ref/ref5.doc
--- a/Doc/ref/ref6.doc
+++ b/Doc/ref/ref6.doc
--- a/Doc/ref/ref7.doc
+++ b/Doc/ref/ref7.doc
--- a/Doc/ref/ref8.doc
+++ b/Doc/ref/ref8.doc
--- a/Doc/ref/refIX.doc
+++ b/Doc/ref/refIX.doc
--- a/Doc/ref/refTOC.doc
+++ b/Doc/ref/refTOC.doc