diff options
43 files changed, 0 insertions, 58 deletions
diff --git a/docs/html/images/JAVA.85.GIF b/docs/html/images/JAVA.85.GIF Binary files differdeleted file mode 100644 index 247f8a2..0000000 --- a/docs/html/images/JAVA.85.GIF +++ /dev/null diff --git a/docs/html/images/blueball.gif b/docs/html/images/blueball.gif Binary files differdeleted file mode 100644 index c481395..0000000 --- a/docs/html/images/blueball.gif +++ /dev/null diff --git a/docs/html/images/change_begin.gif b/docs/html/images/change_begin.gif Binary files differdeleted file mode 100644 index dbe8d7e..0000000 --- a/docs/html/images/change_begin.gif +++ /dev/null diff --git a/docs/html/images/change_begin_right.gif b/docs/html/images/change_begin_right.gif Binary files differdeleted file mode 100644 index 331ddf2..0000000 --- a/docs/html/images/change_begin_right.gif +++ /dev/null diff --git a/docs/html/images/change_delete.gif b/docs/html/images/change_delete.gif Binary files differdeleted file mode 100644 index 63398f5..0000000 --- a/docs/html/images/change_delete.gif +++ /dev/null diff --git a/docs/html/images/change_delete_right.gif b/docs/html/images/change_delete_right.gif Binary files differdeleted file mode 100644 index 63398f5..0000000 --- a/docs/html/images/change_delete_right.gif +++ /dev/null diff --git a/docs/html/images/change_end.gif b/docs/html/images/change_end.gif Binary files differdeleted file mode 100644 index 8f1e455..0000000 --- a/docs/html/images/change_end.gif +++ /dev/null diff --git a/docs/html/images/change_end_right.gif b/docs/html/images/change_end_right.gif Binary files differdeleted file mode 100644 index 409246c..0000000 --- a/docs/html/images/change_end_right.gif +++ /dev/null diff --git a/docs/html/images/contents.xbm b/docs/html/images/contents.xbm deleted file mode 100644 index a3aed9f..0000000 --- a/docs/html/images/contents.xbm +++ /dev/null @@ -1,12 +0,0 @@ -#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/docs/html/images/contents_motif.gif b/docs/html/images/contents_motif.gif Binary files differdeleted file mode 100644 index 7b3c904..0000000 --- a/docs/html/images/contents_motif.gif +++ /dev/null diff --git a/docs/html/images/coolbutton.gif b/docs/html/images/coolbutton.gif Binary files differdeleted file mode 100644 index 5c86f44..0000000 --- a/docs/html/images/coolbutton.gif +++ /dev/null diff --git a/docs/html/images/cross_ref_motif.gif b/docs/html/images/cross_ref_motif.gif Binary files differdeleted file mode 100644 index 4c074e1..0000000 --- a/docs/html/images/cross_ref_motif.gif +++ /dev/null diff --git a/docs/html/images/cupHJbutton.gif b/docs/html/images/cupHJbutton.gif Binary files differdeleted file mode 100644 index 2666304..0000000 --- a/docs/html/images/cupHJbutton.gif +++ /dev/null diff --git a/docs/html/images/foot_motif.gif b/docs/html/images/foot_motif.gif Binary files differdeleted file mode 100644 index f29222a..0000000 --- a/docs/html/images/foot_motif.gif +++ /dev/null diff --git a/docs/html/images/gamelanbutton.gif b/docs/html/images/gamelanbutton.gif Binary files differdeleted file mode 100644 index d477a84..0000000 --- a/docs/html/images/gamelanbutton.gif +++ /dev/null diff --git a/docs/html/images/greenball.gif b/docs/html/images/greenball.gif Binary files differdeleted file mode 100644 index 2ffbb22..0000000 --- a/docs/html/images/greenball.gif +++ /dev/null diff --git a/docs/html/images/icons.html b/docs/html/images/icons.html deleted file mode 100644 index d6b38c3..0000000 --- a/docs/html/images/icons.html +++ /dev/null @@ -1,42 +0,0 @@ - -<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/docs/html/images/image.gif b/docs/html/images/image.gif Binary files differdeleted file mode 100644 index 7e6cb1a..0000000 --- a/docs/html/images/image.gif +++ /dev/null diff --git a/docs/html/images/index_motif.gif b/docs/html/images/index_motif.gif Binary files differdeleted file mode 100644 index b9b3108..0000000 --- a/docs/html/images/index_motif.gif +++ /dev/null diff --git a/docs/html/images/invis_anchor.xbm b/docs/html/images/invis_anchor.xbm deleted file mode 100644 index cc208a3..0000000 --- a/docs/html/images/invis_anchor.xbm +++ /dev/null @@ -1,4 +0,0 @@ -#define dot_anchor_width 1 -#define dot_anchor_height 1 -static char dot_anchor_bits[] = { - 0xfe}; diff --git a/docs/html/images/j2j.gif b/docs/html/images/j2j.gif Binary files differdeleted file mode 100644 index a07021d..0000000 --- a/docs/html/images/j2j.gif +++ /dev/null diff --git a/docs/html/images/jarswebsearch.gif b/docs/html/images/jarswebsearch.gif Binary files differdeleted file mode 100644 index 0ec9e0b..0000000 --- a/docs/html/images/jarswebsearch.gif +++ /dev/null diff --git a/docs/html/images/next_group_motif.gif b/docs/html/images/next_group_motif.gif Binary files differdeleted file mode 100644 index 833af4d..0000000 --- a/docs/html/images/next_group_motif.gif +++ /dev/null diff --git a/docs/html/images/next_group_motif_gr.gif b/docs/html/images/next_group_motif_gr.gif Binary files differdeleted file mode 100644 index c04fec3..0000000 --- a/docs/html/images/next_group_motif_gr.gif +++ /dev/null diff --git a/docs/html/images/next_motif.gif b/docs/html/images/next_motif.gif Binary files differdeleted file mode 100644 index 7a2dbe9..0000000 --- a/docs/html/images/next_motif.gif +++ /dev/null diff --git a/docs/html/images/next_motif_gr.gif b/docs/html/images/next_motif_gr.gif Binary files differdeleted file mode 100644 index 1416b1c..0000000 --- a/docs/html/images/next_motif_gr.gif +++ /dev/null diff --git a/docs/html/images/ogl.gif b/docs/html/images/ogl.gif Binary files differdeleted file mode 100644 index db9fb17..0000000 --- a/docs/html/images/ogl.gif +++ /dev/null diff --git a/docs/html/images/ogl_sm.gif b/docs/html/images/ogl_sm.gif Binary files differdeleted file mode 100644 index 27d60ce..0000000 --- a/docs/html/images/ogl_sm.gif +++ /dev/null diff --git a/docs/html/images/ogla.gif b/docs/html/images/ogla.gif Binary files differdeleted file mode 100644 index 060d3a8..0000000 --- a/docs/html/images/ogla.gif +++ /dev/null diff --git a/docs/html/images/ogla_sm.gif b/docs/html/images/ogla_sm.gif Binary files differdeleted file mode 100644 index efe1236..0000000 --- a/docs/html/images/ogla_sm.gif +++ /dev/null diff --git a/docs/html/images/orangeball.gif b/docs/html/images/orangeball.gif Binary files differdeleted file mode 100644 index e757cd0..0000000 --- a/docs/html/images/orangeball.gif +++ /dev/null diff --git a/docs/html/images/pinkball.gif b/docs/html/images/pinkball.gif Binary files differdeleted file mode 100644 index 43e843b..0000000 --- a/docs/html/images/pinkball.gif +++ /dev/null diff --git a/docs/html/images/previous_group_motif.gif b/docs/html/images/previous_group_motif.gif Binary files differdeleted file mode 100644 index 03ea0dc..0000000 --- a/docs/html/images/previous_group_motif.gif +++ /dev/null diff --git a/docs/html/images/previous_group_motif_gr.gif b/docs/html/images/previous_group_motif_gr.gif Binary files differdeleted file mode 100644 index c7a1e2b..0000000 --- a/docs/html/images/previous_group_motif_gr.gif +++ /dev/null diff --git a/docs/html/images/previous_motif.gif b/docs/html/images/previous_motif.gif Binary files differdeleted file mode 100644 index aef90f1..0000000 --- a/docs/html/images/previous_motif.gif +++ /dev/null diff --git a/docs/html/images/previous_motif_gr.gif b/docs/html/images/previous_motif_gr.gif Binary files differdeleted file mode 100644 index c6acaab..0000000 --- a/docs/html/images/previous_motif_gr.gif +++ /dev/null diff --git a/docs/html/images/purpleball.gif b/docs/html/images/purpleball.gif Binary files differdeleted file mode 100644 index 4836265..0000000 --- a/docs/html/images/purpleball.gif +++ /dev/null diff --git a/docs/html/images/redball.gif b/docs/html/images/redball.gif Binary files differdeleted file mode 100644 index b1a9580..0000000 --- a/docs/html/images/redball.gif +++ /dev/null diff --git a/docs/html/images/smi.logo.gif b/docs/html/images/smi.logo.gif Binary files differdeleted file mode 100644 index e21231d..0000000 --- a/docs/html/images/smi.logo.gif +++ /dev/null diff --git a/docs/html/images/up_motif.gif b/docs/html/images/up_motif.gif Binary files differdeleted file mode 100644 index 3d1aebf..0000000 --- a/docs/html/images/up_motif.gif +++ /dev/null diff --git a/docs/html/images/up_motif_gr.gif b/docs/html/images/up_motif_gr.gif Binary files differdeleted file mode 100644 index a8b463a..0000000 --- a/docs/html/images/up_motif_gr.gif +++ /dev/null diff --git a/docs/html/images/whiteball.gif b/docs/html/images/whiteball.gif Binary files differdeleted file mode 100644 index 4a90ea1..0000000 --- a/docs/html/images/whiteball.gif +++ /dev/null diff --git a/docs/html/images/yellowball.gif b/docs/html/images/yellowball.gif Binary files differdeleted file mode 100644 index c6ba6b1..0000000 --- a/docs/html/images/yellowball.gif +++ /dev/null |
