Blame SOURCES/7.4.088

22c937
To: vim_dev@googlegroups.com
22c937
Subject: Patch 7.4.088
22c937
Fcc: outbox
22c937
From: Bram Moolenaar <Bram@moolenaar.net>
22c937
Mime-Version: 1.0
22c937
Content-Type: text/plain; charset=UTF-8
22c937
Content-Transfer-Encoding: 8bit
22c937
------------
22c937
22c937
Patch 7.4.088
22c937
Problem:    When spell checking is enabled Asian characters are always marked
22c937
            as error.
22c937
Solution:   When 'spelllang' contains "cjk" do not mark Asian characters as
22c937
            error. (Ken Takata)
22c937
Files:      runtime/doc/options.txt, runtime/doc/spell.txt, src/mbyte.c,
22c937
            src/option.c, src/spell.c, src/structs.h
22c937
22c937
22c937
*** ../vim-7.4.087/runtime/doc/options.txt	2013-11-06 05:26:08.000000000 +0100
22c937
--- runtime/doc/options.txt	2013-11-12 04:00:51.000000000 +0100
22c937
***************
22c937
*** 6555,6560 ****
22c937
--- 6555,6563 ----
22c937
  	region by listing them: "en_us,en_ca" supports both US and Canadian
22c937
  	English, but not words specific for Australia, New Zealand or Great
22c937
  	Britain.
22c937
+ 	If the name "cjk" is included East Asian characters are excluded from
22c937
+ 	spell checking.  This is useful when editing text that also has Asian
22c937
+ 	words.
22c937
  							*E757*
22c937
  	As a special case the name of a .spl file can be given as-is.  The
22c937
  	first "_xx" in the name is removed and used as the region name
22c937
*** ../vim-7.4.087/runtime/doc/spell.txt	2013-08-10 13:25:01.000000000 +0200
22c937
--- runtime/doc/spell.txt	2013-11-12 04:02:27.000000000 +0100
22c937
***************
22c937
*** 269,274 ****
22c937
--- 269,281 ----
22c937
  	latin1		yi		transliterated Yiddish
22c937
  	utf-8		yi-tr		transliterated Yiddish
22c937
  
22c937
+ 							*spell-cjk*
22c937
+ Chinese, Japanese and other East Asian characters are normally marked as
22c937
+ errors, because spell checking of these characters is not supported. If
22c937
+ 'spelllang' includes "cjk", these characters are not marked as errors.  This
22c937
+ is useful when editing text with spell checking while some Asian words are
22c937
+ present.
22c937
+ 
22c937
  
22c937
  SPELL FILES						*spell-load*
22c937
  
22c937
*** ../vim-7.4.087/src/mbyte.c	2013-07-05 20:07:21.000000000 +0200
22c937
--- src/mbyte.c	2013-11-12 03:55:50.000000000 +0100
22c937
***************
22c937
*** 947,954 ****
22c937
  		{
22c937
  		    case 0x2121: /* ZENKAKU space */
22c937
  			return 0;
22c937
! 		    case 0x2122: /* KU-TEN (Japanese comma) */
22c937
! 		    case 0x2123: /* TOU-TEN (Japanese period) */
22c937
  		    case 0x2124: /* ZENKAKU comma */
22c937
  		    case 0x2125: /* ZENKAKU period */
22c937
  			return 1;
22c937
--- 947,954 ----
22c937
  		{
22c937
  		    case 0x2121: /* ZENKAKU space */
22c937
  			return 0;
22c937
! 		    case 0x2122: /* TOU-TEN (Japanese comma) */
22c937
! 		    case 0x2123: /* KU-TEN (Japanese period) */
22c937
  		    case 0x2124: /* ZENKAKU comma */
22c937
  		    case 0x2125: /* ZENKAKU period */
22c937
  			return 1;
22c937
***************
22c937
*** 2477,2485 ****
22c937
      /* sorted list of non-overlapping intervals */
22c937
      static struct clinterval
22c937
      {
22c937
! 	unsigned short first;
22c937
! 	unsigned short last;
22c937
! 	unsigned short class;
22c937
      } classes[] =
22c937
      {
22c937
  	{0x037e, 0x037e, 1},		/* Greek question mark */
22c937
--- 2477,2485 ----
22c937
      /* sorted list of non-overlapping intervals */
22c937
      static struct clinterval
22c937
      {
22c937
! 	unsigned int first;
22c937
! 	unsigned int last;
22c937
! 	unsigned int class;
22c937
      } classes[] =
22c937
      {
22c937
  	{0x037e, 0x037e, 1},		/* Greek question mark */
22c937
***************
22c937
*** 2544,2549 ****
22c937
--- 2544,2553 ----
22c937
  	{0xff1a, 0xff20, 1},		/* half/fullwidth ASCII */
22c937
  	{0xff3b, 0xff40, 1},		/* half/fullwidth ASCII */
22c937
  	{0xff5b, 0xff65, 1},		/* half/fullwidth ASCII */
22c937
+ 	{0x20000, 0x2a6df, 0x4e00},	/* CJK Ideographs */
22c937
+ 	{0x2a700, 0x2b73f, 0x4e00},	/* CJK Ideographs */
22c937
+ 	{0x2b740, 0x2b81f, 0x4e00},	/* CJK Ideographs */
22c937
+ 	{0x2f800, 0x2fa1f, 0x4e00},	/* CJK Ideographs */
22c937
      };
22c937
      int bot = 0;
22c937
      int top = sizeof(classes) / sizeof(struct clinterval) - 1;
22c937
***************
22c937
*** 2563,2571 ****
22c937
      while (top >= bot)
22c937
      {
22c937
  	mid = (bot + top) / 2;
22c937
! 	if (classes[mid].last < c)
22c937
  	    bot = mid + 1;
22c937
! 	else if (classes[mid].first > c)
22c937
  	    top = mid - 1;
22c937
  	else
22c937
  	    return (int)classes[mid].class;
22c937
--- 2567,2575 ----
22c937
      while (top >= bot)
22c937
      {
22c937
  	mid = (bot + top) / 2;
22c937
! 	if (classes[mid].last < (unsigned int)c)
22c937
  	    bot = mid + 1;
22c937
! 	else if (classes[mid].first > (unsigned int)c)
22c937
  	    top = mid - 1;
22c937
  	else
22c937
  	    return (int)classes[mid].class;
22c937
*** ../vim-7.4.087/src/option.c	2013-11-08 04:30:06.000000000 +0100
22c937
--- src/option.c	2013-11-12 04:34:46.000000000 +0100
22c937
***************
22c937
*** 7122,7127 ****
22c937
--- 7122,7132 ----
22c937
  	if (varp == &(curwin->w_s->b_p_spl))
22c937
  	{
22c937
  	    char_u	fname[200];
22c937
+ 	    char_u	*q = curwin->w_s->b_p_spl;
22c937
+ 
22c937
+ 	    /* Skip the first name if it is "cjk". */
22c937
+ 	    if (STRNCMP(q, "cjk,", 4) == 0)
22c937
+ 		q += 4;
22c937
  
22c937
  	    /*
22c937
  	     * Source the spell/LANG.vim in 'runtimepath'.
22c937
***************
22c937
*** 7129,7139 ****
22c937
  	     * Use the first name in 'spelllang' up to '_region' or
22c937
  	     * '.encoding'.
22c937
  	     */
22c937
! 	    for (p = curwin->w_s->b_p_spl; *p != NUL; ++p)
22c937
  		if (vim_strchr((char_u *)"_.,", *p) != NULL)
22c937
  		    break;
22c937
! 	    vim_snprintf((char *)fname, 200, "spell/%.*s.vim",
22c937
! 				 (int)(p - curwin->w_s->b_p_spl), curwin->w_s->b_p_spl);
22c937
  	    source_runtime(fname, TRUE);
22c937
  	}
22c937
  #endif
22c937
--- 7134,7143 ----
22c937
  	     * Use the first name in 'spelllang' up to '_region' or
22c937
  	     * '.encoding'.
22c937
  	     */
22c937
! 	    for (p = q; *p != NUL; ++p)
22c937
  		if (vim_strchr((char_u *)"_.,", *p) != NULL)
22c937
  		    break;
22c937
! 	    vim_snprintf((char *)fname, 200, "spell/%.*s.vim", (int)(p - q), q);
22c937
  	    source_runtime(fname, TRUE);
22c937
  	}
22c937
  #endif
22c937
*** ../vim-7.4.087/src/spell.c	2013-09-29 13:38:25.000000000 +0200
22c937
--- src/spell.c	2013-11-12 04:37:33.000000000 +0100
22c937
***************
22c937
*** 754,762 ****
22c937
  static void clear_spell_chartab __ARGS((spelltab_T *sp));
22c937
  static int set_spell_finish __ARGS((spelltab_T	*new_st));
22c937
  static int spell_iswordp __ARGS((char_u *p, win_T *wp));
22c937
! static int spell_iswordp_nmw __ARGS((char_u *p));
22c937
  #ifdef FEAT_MBYTE
22c937
! static int spell_mb_isword_class __ARGS((int cl));
22c937
  static int spell_iswordp_w __ARGS((int *p, win_T *wp));
22c937
  #endif
22c937
  static int write_spell_prefcond __ARGS((FILE *fd, garray_T *gap));
22c937
--- 754,762 ----
22c937
  static void clear_spell_chartab __ARGS((spelltab_T *sp));
22c937
  static int set_spell_finish __ARGS((spelltab_T	*new_st));
22c937
  static int spell_iswordp __ARGS((char_u *p, win_T *wp));
22c937
! static int spell_iswordp_nmw __ARGS((char_u *p, win_T *wp));
22c937
  #ifdef FEAT_MBYTE
22c937
! static int spell_mb_isword_class __ARGS((int cl, win_T *wp));
22c937
  static int spell_iswordp_w __ARGS((int *p, win_T *wp));
22c937
  #endif
22c937
  static int write_spell_prefcond __ARGS((FILE *fd, garray_T *gap));
22c937
***************
22c937
*** 1149,1155 ****
22c937
  
22c937
  	/* When we are at a non-word character there is no error, just
22c937
  	 * skip over the character (try looking for a word after it). */
22c937
! 	else if (!spell_iswordp_nmw(ptr))
22c937
  	{
22c937
  	    if (capcol != NULL && wp->w_s->b_cap_prog != NULL)
22c937
  	    {
22c937
--- 1149,1155 ----
22c937
  
22c937
  	/* When we are at a non-word character there is no error, just
22c937
  	 * skip over the character (try looking for a word after it). */
22c937
! 	else if (!spell_iswordp_nmw(ptr, wp))
22c937
  	{
22c937
  	    if (capcol != NULL && wp->w_s->b_cap_prog != NULL)
22c937
  	    {
22c937
***************
22c937
*** 1561,1567 ****
22c937
  			 * accept a no-caps word, even when the dictionary
22c937
  			 * word specifies ONECAP. */
22c937
  			mb_ptr_back(mip->mi_word, p);
22c937
! 			if (spell_iswordp_nmw(p)
22c937
  				? capflags == WF_ONECAP
22c937
  				: (flags & WF_ONECAP) != 0
22c937
  						     && capflags != WF_ONECAP)
22c937
--- 1561,1567 ----
22c937
  			 * accept a no-caps word, even when the dictionary
22c937
  			 * word specifies ONECAP. */
22c937
  			mb_ptr_back(mip->mi_word, p);
22c937
! 			if (spell_iswordp_nmw(p, mip->mi_win)
22c937
  				? capflags == WF_ONECAP
22c937
  				: (flags & WF_ONECAP) != 0
22c937
  						     && capflags != WF_ONECAP)
22c937
***************
22c937
*** 4234,4240 ****
22c937
      if (spl_copy == NULL)
22c937
  	goto theend;
22c937
  
22c937
!     /* loop over comma separated language names. */
22c937
      for (splp = spl_copy; *splp != NUL; )
22c937
      {
22c937
  	/* Get one language name. */
22c937
--- 4234,4242 ----
22c937
      if (spl_copy == NULL)
22c937
  	goto theend;
22c937
  
22c937
!     wp->w_s->b_cjk = 0;
22c937
! 
22c937
!     /* Loop over comma separated language names. */
22c937
      for (splp = spl_copy; *splp != NUL; )
22c937
      {
22c937
  	/* Get one language name. */
22c937
***************
22c937
*** 4242,4247 ****
22c937
--- 4244,4255 ----
22c937
  	region = NULL;
22c937
  	len = (int)STRLEN(lang);
22c937
  
22c937
+ 	if (STRCMP(lang, "cjk") == 0)
22c937
+ 	{
22c937
+ 	    wp->w_s->b_cjk = 1;
22c937
+ 	    continue;
22c937
+ 	}
22c937
+ 
22c937
  	/* If the name ends in ".spl" use it as the name of the spell file.
22c937
  	 * If there is a region name let "region" point to it and remove it
22c937
  	 * from the name. */
22c937
***************
22c937
*** 4601,4607 ****
22c937
      int		past_second = FALSE;	/* past second word char */
22c937
  
22c937
      /* find first letter */
22c937
!     for (p = word; !spell_iswordp_nmw(p); mb_ptr_adv(p))
22c937
  	if (end == NULL ? *p == NUL : p >= end)
22c937
  	    return 0;	    /* only non-word characters, illegal word */
22c937
  #ifdef FEAT_MBYTE
22c937
--- 4609,4615 ----
22c937
      int		past_second = FALSE;	/* past second word char */
22c937
  
22c937
      /* find first letter */
22c937
!     for (p = word; !spell_iswordp_nmw(p, curwin); mb_ptr_adv(p))
22c937
  	if (end == NULL ? *p == NUL : p >= end)
22c937
  	    return 0;	    /* only non-word characters, illegal word */
22c937
  #ifdef FEAT_MBYTE
22c937
***************
22c937
*** 4617,4623 ****
22c937
       * But a word with an upper char only at start is a ONECAP.
22c937
       */
22c937
      for ( ; end == NULL ? *p != NUL : p < end; mb_ptr_adv(p))
22c937
! 	if (spell_iswordp_nmw(p))
22c937
  	{
22c937
  	    c = PTR2CHAR(p);
22c937
  	    if (!SPELL_ISUPPER(c))
22c937
--- 4625,4631 ----
22c937
       * But a word with an upper char only at start is a ONECAP.
22c937
       */
22c937
      for ( ; end == NULL ? *p != NUL : p < end; mb_ptr_adv(p))
22c937
! 	if (spell_iswordp_nmw(p, curwin))
22c937
  	{
22c937
  	    c = PTR2CHAR(p);
22c937
  	    if (!SPELL_ISUPPER(c))
22c937
***************
22c937
*** 9907,9913 ****
22c937
  
22c937
  	c = mb_ptr2char(s);
22c937
  	if (c > 255)
22c937
! 	    return spell_mb_isword_class(mb_get_class(s));
22c937
  	return spelltab.st_isw[c];
22c937
      }
22c937
  #endif
22c937
--- 9915,9921 ----
22c937
  
22c937
  	c = mb_ptr2char(s);
22c937
  	if (c > 255)
22c937
! 	    return spell_mb_isword_class(mb_get_class(s), wp);
22c937
  	return spelltab.st_isw[c];
22c937
      }
22c937
  #endif
22c937
***************
22c937
*** 9920,9927 ****
22c937
   * Unlike spell_iswordp() this doesn't check for "midword" characters.
22c937
   */
22c937
      static int
22c937
! spell_iswordp_nmw(p)
22c937
      char_u	*p;
22c937
  {
22c937
  #ifdef FEAT_MBYTE
22c937
      int		c;
22c937
--- 9928,9936 ----
22c937
   * Unlike spell_iswordp() this doesn't check for "midword" characters.
22c937
   */
22c937
      static int
22c937
! spell_iswordp_nmw(p, wp)
22c937
      char_u	*p;
22c937
+     win_T	*wp;
22c937
  {
22c937
  #ifdef FEAT_MBYTE
22c937
      int		c;
22c937
***************
22c937
*** 9930,9936 ****
22c937
      {
22c937
  	c = mb_ptr2char(p);
22c937
  	if (c > 255)
22c937
! 	    return spell_mb_isword_class(mb_get_class(p));
22c937
  	return spelltab.st_isw[c];
22c937
      }
22c937
  #endif
22c937
--- 9939,9945 ----
22c937
      {
22c937
  	c = mb_ptr2char(p);
22c937
  	if (c > 255)
22c937
! 	    return spell_mb_isword_class(mb_get_class(p), wp);
22c937
  	return spelltab.st_isw[c];
22c937
      }
22c937
  #endif
22c937
***************
22c937
*** 9942,9952 ****
22c937
   * Return TRUE if word class indicates a word character.
22c937
   * Only for characters above 255.
22c937
   * Unicode subscript and superscript are not considered word characters.
22c937
   */
22c937
      static int
22c937
! spell_mb_isword_class(cl)
22c937
!     int cl;
22c937
  {
22c937
      return cl >= 2 && cl != 0x2070 && cl != 0x2080;
22c937
  }
22c937
  
22c937
--- 9951,9966 ----
22c937
   * Return TRUE if word class indicates a word character.
22c937
   * Only for characters above 255.
22c937
   * Unicode subscript and superscript are not considered word characters.
22c937
+  * See also dbcs_class() and utf_class() in mbyte.c.
22c937
   */
22c937
      static int
22c937
! spell_mb_isword_class(cl, wp)
22c937
!     int		cl;
22c937
!     win_T	*wp;
22c937
  {
22c937
+     if (wp->w_s->b_cjk)
22c937
+ 	/* East Asian characters are not considered word characters. */
22c937
+ 	return cl == 2 || cl == 0x2800;
22c937
      return cl >= 2 && cl != 0x2070 && cl != 0x2080;
22c937
  }
22c937
  
22c937
***************
22c937
*** 9971,9979 ****
22c937
      if (*s > 255)
22c937
      {
22c937
  	if (enc_utf8)
22c937
! 	    return spell_mb_isword_class(utf_class(*s));
22c937
  	if (enc_dbcs)
22c937
! 	    return dbcs_class((unsigned)*s >> 8, *s & 0xff) >= 2;
22c937
  	return 0;
22c937
      }
22c937
      return spelltab.st_isw[*s];
22c937
--- 9985,9994 ----
22c937
      if (*s > 255)
22c937
      {
22c937
  	if (enc_utf8)
22c937
! 	    return spell_mb_isword_class(utf_class(*s), wp);
22c937
  	if (enc_dbcs)
22c937
! 	    return spell_mb_isword_class(
22c937
! 				dbcs_class((unsigned)*s >> 8, *s & 0xff), wp);
22c937
  	return 0;
22c937
      }
22c937
      return spelltab.st_isw[*s];
22c937
***************
22c937
*** 10193,10205 ****
22c937
  	line = ml_get_curline();
22c937
  	p = line + curwin->w_cursor.col;
22c937
  	/* Backup to before start of word. */
22c937
! 	while (p > line && spell_iswordp_nmw(p))
22c937
  	    mb_ptr_back(line, p);
22c937
  	/* Forward to start of word. */
22c937
! 	while (*p != NUL && !spell_iswordp_nmw(p))
22c937
  	    mb_ptr_adv(p);
22c937
  
22c937
! 	if (!spell_iswordp_nmw(p))		/* No word found. */
22c937
  	{
22c937
  	    beep_flush();
22c937
  	    return;
22c937
--- 10208,10220 ----
22c937
  	line = ml_get_curline();
22c937
  	p = line + curwin->w_cursor.col;
22c937
  	/* Backup to before start of word. */
22c937
! 	while (p > line && spell_iswordp_nmw(p, curwin))
22c937
  	    mb_ptr_back(line, p);
22c937
  	/* Forward to start of word. */
22c937
! 	while (*p != NUL && !spell_iswordp_nmw(p, curwin))
22c937
  	    mb_ptr_adv(p);
22c937
  
22c937
! 	if (!spell_iswordp_nmw(p, curwin))		/* No word found. */
22c937
  	{
22c937
  	    beep_flush();
22c937
  	    return;
22c937
***************
22c937
*** 10436,10442 ****
22c937
  	for (;;)
22c937
  	{
22c937
  	    mb_ptr_back(line, p);
22c937
! 	    if (p == line || spell_iswordp_nmw(p))
22c937
  		break;
22c937
  	    if (vim_regexec(&regmatch, p, 0)
22c937
  					 && regmatch.endp[0] == line + endcol)
22c937
--- 10451,10457 ----
22c937
  	for (;;)
22c937
  	{
22c937
  	    mb_ptr_back(line, p);
22c937
! 	    if (p == line || spell_iswordp_nmw(p, curwin))
22c937
  		break;
22c937
  	    if (vim_regexec(&regmatch, p, 0)
22c937
  					 && regmatch.endp[0] == line + endcol)
22c937
***************
22c937
*** 11645,11651 ****
22c937
  
22c937
  		/* When appending a compound word after a word character don't
22c937
  		 * use Onecap. */
22c937
! 		if (p != NULL && spell_iswordp_nmw(p))
22c937
  		    c &= ~WF_ONECAP;
22c937
  		make_case_word(tword + sp->ts_splitoff,
22c937
  					      preword + sp->ts_prewordlen, c);
22c937
--- 11660,11666 ----
22c937
  
22c937
  		/* When appending a compound word after a word character don't
22c937
  		 * use Onecap. */
22c937
! 		if (p != NULL && spell_iswordp_nmw(p, curwin))
22c937
  		    c &= ~WF_ONECAP;
22c937
  		make_case_word(tword + sp->ts_splitoff,
22c937
  					      preword + sp->ts_prewordlen, c);
22c937
***************
22c937
*** 11895,11901 ****
22c937
  			 * character when the word ends.  But only when the
22c937
  			 * good word can end. */
22c937
  			if (((!try_compound && !spell_iswordp_nmw(fword
22c937
! 							       + sp->ts_fidx))
22c937
  				    || fword_ends)
22c937
  				&& fword[sp->ts_fidx] != NUL
22c937
  				&& goodword_ends)
22c937
--- 11910,11917 ----
22c937
  			 * character when the word ends.  But only when the
22c937
  			 * good word can end. */
22c937
  			if (((!try_compound && !spell_iswordp_nmw(fword
22c937
! 							       + sp->ts_fidx,
22c937
! 							       curwin))
22c937
  				    || fword_ends)
22c937
  				&& fword[sp->ts_fidx] != NUL
22c937
  				&& goodword_ends)
22c937
***************
22c937
*** 14226,14232 ****
22c937
  	    }
22c937
  	    else
22c937
  	    {
22c937
! 		if (spell_iswordp_nmw(s))
22c937
  		    *t++ = *s;
22c937
  		++s;
22c937
  	    }
22c937
--- 14242,14248 ----
22c937
  	    }
22c937
  	    else
22c937
  	    {
22c937
! 		if (spell_iswordp_nmw(s, curwin))
22c937
  		    *t++ = *s;
22c937
  		++s;
22c937
  	    }
22c937
***************
22c937
*** 14521,14527 ****
22c937
  	    else
22c937
  	    {
22c937
  		did_white = FALSE;
22c937
! 		if (!spell_iswordp_nmw(t))
22c937
  		    continue;
22c937
  	    }
22c937
  	}
22c937
--- 14537,14543 ----
22c937
  	    else
22c937
  	    {
22c937
  		did_white = FALSE;
22c937
! 		if (!spell_iswordp_nmw(t, curwin))
22c937
  		    continue;
22c937
  	    }
22c937
  	}
22c937
***************
22c937
*** 16045,16051 ****
22c937
      for (p = line + startcol; p > line; )
22c937
      {
22c937
  	mb_ptr_back(line, p);
22c937
! 	if (spell_iswordp_nmw(p))
22c937
  	    break;
22c937
      }
22c937
  
22c937
--- 16061,16067 ----
22c937
      for (p = line + startcol; p > line; )
22c937
      {
22c937
  	mb_ptr_back(line, p);
22c937
! 	if (spell_iswordp_nmw(p, curwin))
22c937
  	    break;
22c937
      }
22c937
  
22c937
*** ../vim-7.4.087/src/structs.h	2013-11-09 05:30:18.000000000 +0100
22c937
--- src/structs.h	2013-11-12 03:55:50.000000000 +0100
22c937
***************
22c937
*** 1310,1315 ****
22c937
--- 1310,1318 ----
22c937
      regprog_T	*b_cap_prog;	/* program for 'spellcapcheck' */
22c937
      char_u	*b_p_spf;	/* 'spellfile' */
22c937
      char_u	*b_p_spl;	/* 'spelllang' */
22c937
+ # ifdef FEAT_MBYTE
22c937
+     int		b_cjk;		/* all CJK letters as OK */
22c937
+ # endif
22c937
  #endif
22c937
  #if !defined(FEAT_SYN_HL) && !defined(FEAT_SPELL)
22c937
      int		dummy;
22c937
*** ../vim-7.4.087/src/version.c	2013-11-11 23:17:31.000000000 +0100
22c937
--- src/version.c	2013-11-12 03:59:03.000000000 +0100
22c937
***************
22c937
*** 740,741 ****
22c937
--- 740,743 ----
22c937
  {   /* Add new patch number below this line */
22c937
+ /**/
22c937
+     88,
22c937
  /**/
22c937
22c937
-- 
22c937
THEOREM: VI is perfect.
22c937
PROOF: VI in roman numerals is 6.  The natural numbers < 6 which divide 6 are
22c937
1, 2, and 3. 1+2+3 = 6.  So 6 is a perfect number.  Therefore, VI is perfect.
22c937
QED
22c937
						    -- Arthur Tateishi
22c937
22c937
 /// Bram Moolenaar -- Bram@Moolenaar.net -- http://www.Moolenaar.net   \\\
22c937
///        sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
22c937
\\\  an exciting new programming language -- http://www.Zimbu.org        ///
22c937
 \\\            help me help AIDS victims -- http://ICCF-Holland.org    ///