summaryrefslogtreecommitdiffstats
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc/icons/00Contents32
-rw-r--r--Doc/icons/blank.pbm4
-rw-r--r--Doc/icons/blueball.gifbin0 -> 390 bytes
-rw-r--r--Doc/icons/change_begin.gifbin0 -> 133 bytes
-rw-r--r--Doc/icons/change_delete.gifbin0 -> 257 bytes
-rw-r--r--Doc/icons/change_end.gifbin0 -> 135 bytes
-rw-r--r--Doc/icons/contents.xbm12
-rw-r--r--Doc/icons/contents_motif.gifbin0 -> 225 bytes
-rw-r--r--Doc/icons/cross_ref_motif.gifbin0 -> 78 bytes
-rw-r--r--Doc/icons/foot_motif.gifbin0 -> 87 bytes
-rw-r--r--Doc/icons/greenball.gifbin0 -> 390 bytes
-rw-r--r--Doc/icons/icons.html42
-rw-r--r--Doc/icons/image.gifbin0 -> 195 bytes
-rw-r--r--Doc/icons/index_motif.gifbin0 -> 180 bytes
-rw-r--r--Doc/icons/invis_anchor.xbm4
-rw-r--r--Doc/icons/next_group_motif.gifbin0 -> 259 bytes
-rw-r--r--Doc/icons/next_group_motif_gr.gifbin0 -> 259 bytes
-rw-r--r--Doc/icons/next_motif.gifbin0 -> 172 bytes
-rw-r--r--Doc/icons/next_motif_gr.gifbin0 -> 172 bytes
-rw-r--r--Doc/icons/orangeball.gifbin0 -> 390 bytes
-rw-r--r--Doc/icons/pinkball.gifbin0 -> 390 bytes
-rw-r--r--Doc/icons/previous_group_motif.gifbin0 -> 303 bytes
-rw-r--r--Doc/icons/previous_group_motif_gr.gifbin0 -> 303 bytes
-rw-r--r--Doc/icons/previous_motif.gifbin0 -> 220 bytes
-rw-r--r--Doc/icons/previous_motif_gr.gifbin0 -> 220 bytes
-rw-r--r--Doc/icons/purpleball.gifbin0 -> 390 bytes
-rw-r--r--Doc/icons/redball.gifbin0 -> 390 bytes
-rw-r--r--Doc/icons/up_motif.gifbin0 -> 145 bytes
-rw-r--r--Doc/icons/up_motif_gr.gifbin0 -> 145 bytes
-rw-r--r--Doc/icons/whiteball.gifbin0 -> 267 bytes
-rw-r--r--Doc/icons/yellowball.gifbin0 -> 390 bytes
31 files changed, 94 insertions, 0 deletions
diff --git a/Doc/icons/00Contents b/Doc/icons/00Contents
new file mode 100644
index 0000000..431e521
--- /dev/null
+++ b/Doc/icons/00Contents
@@ -0,0 +1,32 @@
+total 33
+-rw-rw-r-- 1 ctan TeX 2122 Feb 15 06:23 00Contents
+-rw-rw-r-- 1 ctan TeX 49 Jan 14 00:19 blank.pbm
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 blueball.gif
+-rw-rw-r-- 1 ctan TeX 133 Jan 14 00:19 change_begin.gif
+-rw-rw-r-- 1 ctan TeX 257 Jan 14 00:19 change_delete.gif
+-rw-rw-r-- 1 ctan TeX 135 Jan 14 00:19 change_end.gif
+-rw-rw-r-- 1 ctan TeX 744 Jan 14 00:19 contents.xbm
+-rw-rw-r-- 1 ctan TeX 225 Jan 14 00:19 contents_motif.gif
+-rw-rw-r-- 1 ctan TeX 78 Jan 14 00:19 cross_ref_motif.gif
+-rw-rw-r-- 1 ctan TeX 87 Jan 14 00:19 foot_motif.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 greenball.gif
+-rw-rw-r-- 1 ctan TeX 910 Jan 14 00:19 icons.html
+-rw-rw-r-- 1 ctan TeX 195 Jan 14 00:19 image.gif
+-rw-rw-r-- 1 ctan TeX 180 Jan 14 00:19 index_motif.gif
+-rw-rw-r-- 1 ctan TeX 97 Jan 14 00:19 invis_anchor.xbm
+-rw-rw-r-- 1 ctan TeX 259 Jan 14 00:19 next_group_motif.gif
+-rw-rw-r-- 1 ctan TeX 259 Jan 14 00:19 next_group_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 172 Jan 14 00:19 next_motif.gif
+-rw-rw-r-- 1 ctan TeX 172 Jan 14 00:19 next_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 orangeball.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 pinkball.gif
+-rw-rw-r-- 1 ctan TeX 303 Jan 14 00:19 previous_group_motif.gif
+-rw-rw-r-- 1 ctan TeX 303 Jan 14 00:19 previous_group_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 220 Jan 14 00:19 previous_motif.gif
+-rw-rw-r-- 1 ctan TeX 220 Jan 14 00:19 previous_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 purpleball.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 redball.gif
+-rw-rw-r-- 1 ctan TeX 145 Jan 14 00:19 up_motif.gif
+-rw-rw-r-- 1 ctan TeX 145 Jan 14 00:19 up_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 267 Jan 14 00:19 whiteball.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 yellowball.gif
diff --git a/Doc/icons/blank.pbm b/Doc/icons/blank.pbm
new file mode 100644
index 0000000..3c72463
--- /dev/null
+++ b/Doc/icons/blank.pbm
@@ -0,0 +1,4 @@
+P4
+# CREATOR: XV Version 3.00 Rev: 3/30/93
+1 1
+ \ No newline at end of file
diff --git a/Doc/icons/blueball.gif b/Doc/icons/blueball.gif
new file mode 100644
index 0000000..545d5ce
--- /dev/null
+++ b/Doc/icons/blueball.gif
Binary files differ
diff --git a/Doc/icons/change_begin.gif b/Doc/icons/change_begin.gif
new file mode 100644
index 0000000..dbe8d7e
--- /dev/null
+++ b/Doc/icons/change_begin.gif
Binary files differ
diff --git a/Doc/icons/change_delete.gif b/Doc/icons/change_delete.gif
new file mode 100644
index 0000000..4bdf754
--- /dev/null
+++ b/Doc/icons/change_delete.gif
Binary files differ
diff --git a/Doc/icons/change_end.gif b/Doc/icons/change_end.gif
new file mode 100644
index 0000000..21467c2
--- /dev/null
+++ b/Doc/icons/change_end.gif
Binary files differ
diff --git a/Doc/icons/contents.xbm b/Doc/icons/contents.xbm
new file mode 100644
index 0000000..a3aed9f
--- /dev/null
+++ b/Doc/icons/contents.xbm
@@ -0,0 +1,12 @@
+#define contents_width 63
+#define contents_height 16
+static char contents_bits[] = {
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0xc0,0x01,0x00,0x08,0x00,0x00,0x01,0x00,0x20,0x02,0x00,0x08,0x00,
+ 0x00,0x01,0x00,0x20,0xe2,0x74,0x7c,0x9c,0x8e,0x8f,0x03,0x20,0x10,0x99,0x08,
+ 0x22,0x13,0x41,0x04,0x20,0x10,0x89,0x08,0x3e,0x11,0x81,0x03,0x20,0x12,0x89,
+ 0x08,0x02,0x11,0x01,0x04,0x20,0x12,0x89,0x88,0x22,0x11,0x51,0x04,0xc0,0xe1,
+ 0x9c,0x71,0x9c,0x33,0x8e,0x03,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00};
diff --git a/Doc/icons/contents_motif.gif b/Doc/icons/contents_motif.gif
new file mode 100644
index 0000000..7b3c904
--- /dev/null
+++ b/Doc/icons/contents_motif.gif
Binary files differ
diff --git a/Doc/icons/cross_ref_motif.gif b/Doc/icons/cross_ref_motif.gif
new file mode 100644
index 0000000..f45cb2f
--- /dev/null
+++ b/Doc/icons/cross_ref_motif.gif
Binary files differ
diff --git a/Doc/icons/foot_motif.gif b/Doc/icons/foot_motif.gif
new file mode 100644
index 0000000..f29222a
--- /dev/null
+++ b/Doc/icons/foot_motif.gif
Binary files differ
diff --git a/Doc/icons/greenball.gif b/Doc/icons/greenball.gif
new file mode 100644
index 0000000..1017f83
--- /dev/null
+++ b/Doc/icons/greenball.gif
Binary files differ
diff --git a/Doc/icons/icons.html b/Doc/icons/icons.html
new file mode 100644
index 0000000..d6b38c3
--- /dev/null
+++ b/Doc/icons/icons.html
@@ -0,0 +1,42 @@
+
+<FORM METHOD="POST" >
+<INPUT TYPE="submit" VALUE="Next">
+ <P>
+<INPUT TYPE="submit" VALUE="Previous">
+ <P>
+<INPUT TYPE="submit" VALUE="Up">
+ <P>
+<INPUT TYPE="submit" VALUE="Next Group">
+ <P>
+<INPUT TYPE="submit" VALUE="Previous Group">
+ <P>
+<INPUT TYPE="submit" VALUE="Contents">
+ <P>
+<INPUT TYPE="submit" VALUE="Index">
+ <P>
+<INPUT TYPE="submit" VALUE=" New ">
+ <P>
+<INPUT TYPE="submit" VALUE=" Deleted ">
+ <P>
+<INPUT TYPE="submit" VALUE="Browse">
+ <P>
+<INPUT TYPE="submit" VALUE="Search">
+ <P>
+<INPUT TYPE="submit" VALUE="Home">
+ <P>
+<INPUT TYPE="submit" VALUE="Image">
+ <P>
+<INPUT TYPE="submit" VALUE="a">
+
+ <P>
+
+<INPUT TYPE="checkbox" NAME="xx" VALUE="nil">
+<INPUT TYPE="checkbox" NAME="xx" VALUE="nil">
+<INPUT TYPE="checkbox" NAME="xx" VALUE="nil">
+
+
+</FORM>
+
+<IMG ALIGN=MIDDLE SRC="changebegin.gif" ALT="changeend"><P>
+
+<P><IMG ALIGN=MIDDLE SRC="changeend.gif" ALT="changeend">
diff --git a/Doc/icons/image.gif b/Doc/icons/image.gif
new file mode 100644
index 0000000..7e6cb1a
--- /dev/null
+++ b/Doc/icons/image.gif
Binary files differ
diff --git a/Doc/icons/index_motif.gif b/Doc/icons/index_motif.gif
new file mode 100644
index 0000000..b9b3108
--- /dev/null
+++ b/Doc/icons/index_motif.gif
Binary files differ
diff --git a/Doc/icons/invis_anchor.xbm b/Doc/icons/invis_anchor.xbm
new file mode 100644
index 0000000..cc208a3
--- /dev/null
+++ b/Doc/icons/invis_anchor.xbm
@@ -0,0 +1,4 @@
+#define dot_anchor_width 1
+#define dot_anchor_height 1
+static char dot_anchor_bits[] = {
+ 0xfe};
diff --git a/Doc/icons/next_group_motif.gif b/Doc/icons/next_group_motif.gif
new file mode 100644
index 0000000..3f4005a
--- /dev/null
+++ b/Doc/icons/next_group_motif.gif
Binary files differ
diff --git a/Doc/icons/next_group_motif_gr.gif b/Doc/icons/next_group_motif_gr.gif
new file mode 100644
index 0000000..a5888d7
--- /dev/null
+++ b/Doc/icons/next_group_motif_gr.gif
Binary files differ
diff --git a/Doc/icons/next_motif.gif b/Doc/icons/next_motif.gif
new file mode 100644
index 0000000..928a32d
--- /dev/null
+++ b/Doc/icons/next_motif.gif
Binary files differ
diff --git a/Doc/icons/next_motif_gr.gif b/Doc/icons/next_motif_gr.gif
new file mode 100644
index 0000000..011fa04
--- /dev/null
+++ b/Doc/icons/next_motif_gr.gif
Binary files differ
diff --git a/Doc/icons/orangeball.gif b/Doc/icons/orangeball.gif
new file mode 100644
index 0000000..03d6422
--- /dev/null
+++ b/Doc/icons/orangeball.gif
Binary files differ
diff --git a/Doc/icons/pinkball.gif b/Doc/icons/pinkball.gif
new file mode 100644
index 0000000..0e7aa81
--- /dev/null
+++ b/Doc/icons/pinkball.gif
Binary files differ
diff --git a/Doc/icons/previous_group_motif.gif b/Doc/icons/previous_group_motif.gif
new file mode 100644
index 0000000..ffb6803
--- /dev/null
+++ b/Doc/icons/previous_group_motif.gif
Binary files differ
diff --git a/Doc/icons/previous_group_motif_gr.gif b/Doc/icons/previous_group_motif_gr.gif
new file mode 100644
index 0000000..793dae1
--- /dev/null
+++ b/Doc/icons/previous_group_motif_gr.gif
Binary files differ
diff --git a/Doc/icons/previous_motif.gif b/Doc/icons/previous_motif.gif
new file mode 100644
index 0000000..c38778c
--- /dev/null
+++ b/Doc/icons/previous_motif.gif
Binary files differ
diff --git a/Doc/icons/previous_motif_gr.gif b/Doc/icons/previous_motif_gr.gif
new file mode 100644
index 0000000..d5398b3
--- /dev/null
+++ b/Doc/icons/previous_motif_gr.gif
Binary files differ
diff --git a/Doc/icons/purpleball.gif b/Doc/icons/purpleball.gif
new file mode 100644
index 0000000..e327920
--- /dev/null
+++ b/Doc/icons/purpleball.gif
Binary files differ
diff --git a/Doc/icons/redball.gif b/Doc/icons/redball.gif
new file mode 100644
index 0000000..aa394e0
--- /dev/null
+++ b/Doc/icons/redball.gif
Binary files differ
diff --git a/Doc/icons/up_motif.gif b/Doc/icons/up_motif.gif
new file mode 100644
index 0000000..c7c9cf7
--- /dev/null
+++ b/Doc/icons/up_motif.gif
Binary files differ
diff --git a/Doc/icons/up_motif_gr.gif b/Doc/icons/up_motif_gr.gif
new file mode 100644
index 0000000..6aeb675
--- /dev/null
+++ b/Doc/icons/up_motif_gr.gif
Binary files differ
diff --git a/Doc/icons/whiteball.gif b/Doc/icons/whiteball.gif
new file mode 100644
index 0000000..168ea76
--- /dev/null
+++ b/Doc/icons/whiteball.gif
Binary files differ
diff --git a/Doc/icons/yellowball.gif b/Doc/icons/yellowball.gif
new file mode 100644
index 0000000..a360cd4
--- /dev/null
+++ b/Doc/icons/yellowball.gif
Binary files differ