diff options
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 Binary files differnew file mode 100644 index 0000000..545d5ce --- /dev/null +++ b/Doc/icons/blueball.gif diff --git a/Doc/icons/change_begin.gif b/Doc/icons/change_begin.gif Binary files differnew file mode 100644 index 0000000..dbe8d7e --- /dev/null +++ b/Doc/icons/change_begin.gif diff --git a/Doc/icons/change_delete.gif b/Doc/icons/change_delete.gif Binary files differnew file mode 100644 index 0000000..4bdf754 --- /dev/null +++ b/Doc/icons/change_delete.gif diff --git a/Doc/icons/change_end.gif b/Doc/icons/change_end.gif Binary files differnew file mode 100644 index 0000000..21467c2 --- /dev/null +++ b/Doc/icons/change_end.gif 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 Binary files differnew file mode 100644 index 0000000..7b3c904 --- /dev/null +++ b/Doc/icons/contents_motif.gif diff --git a/Doc/icons/cross_ref_motif.gif b/Doc/icons/cross_ref_motif.gif Binary files differnew file mode 100644 index 0000000..f45cb2f --- /dev/null +++ b/Doc/icons/cross_ref_motif.gif diff --git a/Doc/icons/foot_motif.gif b/Doc/icons/foot_motif.gif Binary files differnew file mode 100644 index 0000000..f29222a --- /dev/null +++ b/Doc/icons/foot_motif.gif diff --git a/Doc/icons/greenball.gif b/Doc/icons/greenball.gif Binary files differnew file mode 100644 index 0000000..1017f83 --- /dev/null +++ b/Doc/icons/greenball.gif 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 Binary files differnew file mode 100644 index 0000000..7e6cb1a --- /dev/null +++ b/Doc/icons/image.gif diff --git a/Doc/icons/index_motif.gif b/Doc/icons/index_motif.gif Binary files differnew file mode 100644 index 0000000..b9b3108 --- /dev/null +++ b/Doc/icons/index_motif.gif 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 Binary files differnew file mode 100644 index 0000000..3f4005a --- /dev/null +++ b/Doc/icons/next_group_motif.gif diff --git a/Doc/icons/next_group_motif_gr.gif b/Doc/icons/next_group_motif_gr.gif Binary files differnew file mode 100644 index 0000000..a5888d7 --- /dev/null +++ b/Doc/icons/next_group_motif_gr.gif diff --git a/Doc/icons/next_motif.gif b/Doc/icons/next_motif.gif Binary files differnew file mode 100644 index 0000000..928a32d --- /dev/null +++ b/Doc/icons/next_motif.gif diff --git a/Doc/icons/next_motif_gr.gif b/Doc/icons/next_motif_gr.gif Binary files differnew file mode 100644 index 0000000..011fa04 --- /dev/null +++ b/Doc/icons/next_motif_gr.gif diff --git a/Doc/icons/orangeball.gif b/Doc/icons/orangeball.gif Binary files differnew file mode 100644 index 0000000..03d6422 --- /dev/null +++ b/Doc/icons/orangeball.gif diff --git a/Doc/icons/pinkball.gif b/Doc/icons/pinkball.gif Binary files differnew file mode 100644 index 0000000..0e7aa81 --- /dev/null +++ b/Doc/icons/pinkball.gif diff --git a/Doc/icons/previous_group_motif.gif b/Doc/icons/previous_group_motif.gif Binary files differnew file mode 100644 index 0000000..ffb6803 --- /dev/null +++ b/Doc/icons/previous_group_motif.gif diff --git a/Doc/icons/previous_group_motif_gr.gif b/Doc/icons/previous_group_motif_gr.gif Binary files differnew file mode 100644 index 0000000..793dae1 --- /dev/null +++ b/Doc/icons/previous_group_motif_gr.gif diff --git a/Doc/icons/previous_motif.gif b/Doc/icons/previous_motif.gif Binary files differnew file mode 100644 index 0000000..c38778c --- /dev/null +++ b/Doc/icons/previous_motif.gif diff --git a/Doc/icons/previous_motif_gr.gif b/Doc/icons/previous_motif_gr.gif Binary files differnew file mode 100644 index 0000000..d5398b3 --- /dev/null +++ b/Doc/icons/previous_motif_gr.gif diff --git a/Doc/icons/purpleball.gif b/Doc/icons/purpleball.gif Binary files differnew file mode 100644 index 0000000..e327920 --- /dev/null +++ b/Doc/icons/purpleball.gif diff --git a/Doc/icons/redball.gif b/Doc/icons/redball.gif Binary files differnew file mode 100644 index 0000000..aa394e0 --- /dev/null +++ b/Doc/icons/redball.gif diff --git a/Doc/icons/up_motif.gif b/Doc/icons/up_motif.gif Binary files differnew file mode 100644 index 0000000..c7c9cf7 --- /dev/null +++ b/Doc/icons/up_motif.gif diff --git a/Doc/icons/up_motif_gr.gif b/Doc/icons/up_motif_gr.gif Binary files differnew file mode 100644 index 0000000..6aeb675 --- /dev/null +++ b/Doc/icons/up_motif_gr.gif diff --git a/Doc/icons/whiteball.gif b/Doc/icons/whiteball.gif Binary files differnew file mode 100644 index 0000000..168ea76 --- /dev/null +++ b/Doc/icons/whiteball.gif diff --git a/Doc/icons/yellowball.gif b/Doc/icons/yellowball.gif Binary files differnew file mode 100644 index 0000000..a360cd4 --- /dev/null +++ b/Doc/icons/yellowball.gif |
