From 9865921e38f17d8fbb333037f00a9a707fc82ec1 Mon Sep 17 00:00:00 2001 From: j8takagi <j8takagi@nifty.com> Date: Thu, 19 Jun 2014 12:26:15 +0900 Subject: [PATCH] =?utf8?q?=E3=82=B3=E3=83=94=E3=83=BC=E3=83=A9=E3=82=A4?= =?utf8?q?=E3=83=88=E3=81=AE=E5=B9=B4=E5=8F=B7=E8=A1=A8=E8=A8=98=E3=82=92?= =?utf8?q?=E4=BF=AE=E6=AD=A3?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- doc/manual.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/manual.texi b/doc/manual.texi index 653c090..b81285c 100644 --- a/doc/manual.texi +++ b/doc/manual.texi @@ -14,7 +14,7 @@ @c %**end of header @copying -Copyright @copyright{} 2010-2013 j8takagi +Copyright @copyright{} 2010-2014 j8takagi @end copying @dircategory Programming @@ -67,7 +67,7 @@ CASL IIã¯æ å ±å¦ç試é¨ã§ç¨ããããã¢ã»ã³ãã©è¨èªã§ã YACASL2ã¯ãCASL IIã¢ã»ã³ãã©è¨èªã§è¨è¿°ããããã¡ã¤ã«ãã¢ã»ã³ãã«ãã ä»®æ³ãã·ã³COMET IIä¸ã§å®è¡ãã¾ãã ã¢ã»ã³ãã«ã¨å®è¡ã¯ãé£ç¶ã§è¡ããã¨ãã§ãã¾ããã -ã¢ã»ã³ãã«çµæããã¡ã¤ã«ã«ä¿åãã¦ããããå®è¡ãããã¨ãã§ãã¾ãã +ã¢ã»ã³ãã«çµæããã¡ã¤ã«ã«ä¿åãã¦ãã¨ããå®è¡ãããã¨ãã§ãã¾ãã YACASL2ã®åä½ã¯CASL IIã®ä»æ§ã«æºæ ãã¦ãããããæ å ±å¦ç試é¨ã®åé¡ã ã¯ããå種åèæ¸ããµã¤ãã«è¨è¼ãããCASL IIã®ããã°ã©ã ã ãã®ã¾ã¾ã¢ã»ã³ãã«ãã¦å®è¡ã§ãã¾ãã -- 2.18.0