Mon Jul 26 15:16:15 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* qxt-test.el(qxt-test): test $B$N(B file $B$NCf$K(B lisp $B$N<0$r=q$1$k$h$&(B
	$B$K$7(B, $BJQ?t$N=i4|@_Dj$J$I$K;H$($k$h$&$K$9$k!#(B

Mon Jul 19 16:48:01 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* result.el(qxt-check-status-error): aborted $B$N$H$-(B, $B$=$l$r<($9=P(B
	$BNO$r=P$9!#(B

Wed Jul 14 13:09:58 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* table.el(qxt-meta-command-table): typo fix.

Tue Jul  6 14:17:12 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* comm.el(qxt-sentinel): $B@\B3$,@Z$l$?;~(B, $B%+!<%=%k$r0\F0$5$;$k!#(B

Wed Jun 23 11:31:17 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* misc.el(qxt-lisp2qxt-rule): rule id $B$OJ8;zNs(B, atom $B$H$7$FI=<($7(B
	$B$J$$!#(B

Wed Jun  2 17:17:17 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* trase-s.el(qxt-execute-by-trace-mode):
	$BF~NO$N7A<0$rJQ$($k!#(B

Tue Jun  1 13:52:15 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* interact.el(qxt-execute-this-line): $B$9$G$K$"$k9T$rMxMQ$7$h$&$H$7(B
	  $B$?;~$NF0$-$r?F@Z$K$9$k!#(B

	* interact.el(qxt-input-state): $B:Y$+$/J,$1$F(B, $BF0$-$rE,@Z$K$9$k!#(B

	SESSION>  $B$H$$$&7A(B.					nil
	program;; $B$H$$$&7A(B. (program $B$N:G=i$N9T(B)		program-begin
	?-        $B$H$$$&7A(B. (query $B$N:G=i$N9T(B)			query-begin
	>         $B$H$$$&7A(B. (program $B$NESCf$N9T(B)		program
	>         $B$H$$$&7A(B. (query $B$NESCf$N9T(B)			query

	* interact.el(qxt-complete-for): $B2~NI!#(B

	    $BJd40$7$F(B insert --> Complete, but not unique --> $B0lMwI=<((B

	$B$H?J$`!#(B

	* server-s.el(qxt-ls-l): bug fix.  Argument Option --> Input Option

Thu May 27 15:59:57 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* databases.el(qxt-result-query): window-mode on $B$N;~$G$bEz$($OI=(B
	$B<($9$k!#(B

Tue May 25 17:05:46 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* interact.el(qxt-interact-complete): program, query $B$N;~$N(B 
	completion $B$O(B keyword $B$KBP$7$F(B completion $B$9$k!#0lHL$N(B command $B$N(B
	$B;~$O(B command $B$KBP$7$F(B completion $B$9$k!#(B

	* result.el(qxt-result-analysis): status $B$,@5>o$G$J$$;~$b(B prompt 
	$B$r=PNO$9$k$h$&$K2~NI!#(B

Mon May 24 18:41:56 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* interact.el: $B2~NI!#(Bprompt $B$O(B 4 $B<oN`$KJ,N`$5$l$k!#(B

	SESSION>  $B$H$$$&7A(B.
	program;; $B$H$$$&7A(B. (program $B$N:G=i$N9T(B)
	?-        $B$H$$$&7A(B. (query $B$N:G=i$N9T(B)
	>         $B$H$$$&7A(B. (program, query $B$NESCf$N9T(B)

Wed May 19 18:27:34 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* qxt-mode.el(qxt-process): qxt-mode $B$+$i;O$a$k>l9g$K$3$NJQ?t$O$3(B
	$B$3$G$bDj5A$5$l$F$$$J$$$H$&$^$/F0$+$J$$!#(B

	* interact.el(qxt-command-execute):
	  Quixote Server $B$HDL?.$7$J$$(B command $B$N>l9g(B, prompt $B$O$3$3$G$@$9!#(B
	  qxt-meta-command $B$H$$$&JQ?t$r(B dynamic binding $B$G;HMQ!#(B

Tue May 18 19:17:39 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* databases.el,trase-s.el,server-s.el,inspect-s.el:
	Quixote Server $B$KAw$k(B term $B$N7ABV$O9`I=8=$O$d$a$F(B, vector $B$K$9$k!#(B
		hogehoge(...) --> {hogehoge, ...}

	* lex.el (qxt-lex): string $B$GBP1~$9$k(B " $B$,$J$$;~$O(B signal $B$r$"$2$k!#(B

Wed May 12 16:16:03 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* interaction, debug $B$G(B prompt $B$r=P$9$h$&$K$9$k!#(B

	* misc.el (qxt-stuff-start-process):
	$BF|K\8l$r07$&>l9g$r9M$($F(B, process-kanji-code $B$r@_Dj$9$k$h$&$K$9$k!#(B

Tue May 11 14:55:47 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* result.el: $BBgI}$K=q$-D>$7!#(B

	* $B:o=|!#(B
(defvar qxt-result-current-buffer nil
  "T $B$N;~!"(Bcursor $B$N8=:_0LCV$K7k2L$rI=<($9$k!#(B
NIL $B$N;~$O(B Result Buffer $B$r$b$A$$$k!#(Bqxt-synchronous $B$,(B T $B$N;~$N$_(B
$BM-8z!#(B")

	* server-s.el,databases.el: newline $B$N07$$!#(B

	* result.el(qxt-result): (insert "\n") $B$r:o=|!#(B

	* comm.el(qxt-session-start): interactive $B$r<h$k!#(B

Mon May 10 13:33:31 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* Imakefile: qxt-test.el,misc.el $B$N$?$a$K(B entry $B$r=$@5!#(B

	* qxt-test.el: New file.  Quixote $B$N(B test $BMQ!#(B

	* result.el(qxt-term2lisp-D): term $B$rFI$s$G$^$@$"$^$j$,$"$k>l9g$O(B 
	error $B$H$9$k!#(B

	* misc.el: New file.  Quixote $B$N$=$NB>$N4X?t!#(Bresult.el $B$+$i(B
	qxt-term2lisp $B$r0\$9!#(B

	* comm.el(qxt-filter): $BDL?.$N(B error $B$N;~(B, $BL[$C$F$$$J$$$G(B,
	error $B$r5/$3$9$h$&$K$9$k!#(B

	* databases.el(qxt-lisp2qxt-obj,qxt-lisp2qxt-oterm); 'nil --> qxt-nil

	* lex.el(qxt-nil): Quixote $B$N(B atom $B$H$7$F$N(B nil $B$r;}$DDj?t!#(B

Wed Apr 28 13:56:17 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* lex.el(qxt-lex,qxt-lex-keywords),result.el(qxt-term2lisp-sub),
	parse.el(list-):
	Quixote $B$N(B atom $B$H$7$F$N(B nil $B$,(B lisp $B$N(B nil $B$H=E$J$C$F$7$^$$(B, () 
	$B$H2r<a$5$l$kLdBj$NBP=h!#(B

Tue Apr 20 13:32:27 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* databases.el (qxt-result-show-objects): $B4V0c$$=$@5!#(B
	Rules --> Objects

Mon Apr 12 15:00:41 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* parse.el (program-def): rule $B$O:GDc(B, $B0l8D$"$k$3$H$r2>Dj$7$F$$$?!#(B
	0 $B$3$N>l9g(B, &void $B$,EO$k$h$&$K$9$k!#(B

Fri Apr  9 15:23:01 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* comm.el (qxt-start): New hook `qxt-setup-hook'

Tue Apr  6 14:51:59 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* database.el(qxt-result-show-module): typo fix.
	Moduleid2 --> ModuleId2

	* parse.el (o-term*set-lhs): throw $B$N0z?t$NIU$1K:$l!#=$@5!#(B

	* parse.el (a-cnstr): $B$+$C$3$NBP1~IU$14V0c$$!#=$@5!#(B

	* parse.el (o-term*set-lhs): query $B$N;~$N(B . $B$r(B dot $B9`$H6hJL$7(B, $B:G(B
	$B8e$N(B dot $B$O$J$s$H$+$9$k!#(B

	* parse.el (dot-term, o-term*set-lhs): dot $B9`$O(B ! $B$G$b(B . $B$G$b(B OK.

Thu Apr  1 18:49:14 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* server-s.el(qxt-create-database): LEX error $B$KBP=h(B.

	* parse.el(qxt-syntax-error-backtrace): New Variable.
	  (qxt-syntax-error): Use qxt-syntax-error-backtrace.

	* lex.el(qxt-lex): $BA43Q$G;O$^$k(B atom $B$OBLL\(B

Tue Mar 30 16:45:19 1993  NIIBE Yutaka  (m-gniibe at zeus)

	* databases.el (qxt-src2str-reduce): Assump-list

Mon Mar 29 18:06:19 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* interact.el (qxt-command-complete): New Function.  command $B$N(B 
	completion $B$r$9$k!#(BTAB $B$K3d$jIU$1$k!#(B

	* databases.el (qxt-src2str-ruleid-rule-pairs): qxt-prity-print $B$r(B
	$B8F$V$h$&$K$9$k!#(B

	* databases.el (qxt-prity-print): term2qxt $B$r8F$S(B, prity print $B$9(B
	$B$k!#(B

Thu Mar 18 19:11:39 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* lex.el (qxt-lex): e_, s_ $B$G;O$^$k$H$3$m$NH=Dj$,BLL\!#(B
	atom e $B$,$"$k$H<!$r8+$K$$$/$1$I<!$N;z$O$J$$$N$G$3$1$k!#=$@5!#(B

	* parse.el (cnstr-o-term): typo. a-cnstr-list --> o-cnstr-list

	* parse.el (o-cnstr-list): $B0z?t(B list $B$N(B () $B$NIU$1K:$l!#(B
	(o-cnstr) $B$N8F$S=P$7J}$,4V0c$$!#(B

	* parse.el (link): $BJ8K!$NJQ99$KBP=h$7!"(B[] --> {},
	{} --> []. $B>JN,$O6X;_!#(Bm-link-list $B$,@h!#(Bm-link-list $B$,8e!#(B

	* parse.el (m-link,o-link): $BJ8K!$NJQ99$KBP=h$7!"(B[] --> {},
	{} --> [].

	* parse.el (exp-operation): cons $B$r(B list $B$K=$@5!#(B

	* parse.el (exp): $BM>J,$J(B advance $B$r:o=|!#(B

	* lex.el (qxt-lex): e_, s_ $B$rG'<1$7$F$$$J$+$C$?!#$3$N(B bug $B=$@5!#(B

Mon Mar 15 20:34:22 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* result.el (qxt-result): bug-fix. $B0z?t(B String $B$r4X?t$H$7$FI>2A$7(B
	$B$h$&$H$7$F$$$?!#C1$J$k3g8L$NIU$12a$.!#(B

Mon Mar 15 09:46:36 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* server-s.el(qxt-release-string,qxt-analyze-database-name,
	              qxt-ls-l,qxt-rm-all): change "$void" to '&void'
	* trace-s.el (qxt-change-spy-subgoal-vector,
		      qxt-change-spy-rule-vector,qxt-change-spy-module-id,
		      qxt-trace-event): change '$void' to '&void'

Wed Mar 10 14:59:48 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el(qxt-trace-event): change display format

Tue Mar  9 20:09:56 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* comm.el (qxt-create-result-buffer): qxt-interaction-mode $B$r8F$V!#(B
	          (qxt-session-start): qxt-result-buffer $B$K(B switch $B$9$k!#(B

	* database.el (qxt-query): qxt-query-string $B$r;H$&!#(B
	       (qxt-query-string): qxt-query $B$rJ,3d!#J8;zNs$G(B query.

	* comm.el: Result buffer $B$r(B interaction $B$N(B buffer $B$K$9$k!#(B
	$B7k2L$N(B *Quixote-Result* $B$O$d$a$F(B *Quixote* $B$H$9$k!#:#$^$G$N%G%P%C(B
	$B%0MQ$N(B *Quixote* $B$O(B " *Quixote*" $B$H$7!"%f!<%6$K8+$;$J$$!#(B

	* Imakefile: entry added for table.el, interact.el

	* table.el: New file.
	interaction $B$N$?$a$N%F!<%V%k$rDj5A$9$k(B file.

	* interact.el: New file.
	interaction $B$N(B mode, $B%3%^%s%I$rDj5A$9$k(B file.

Tue Mar  9 15:53:05 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* databases.el(qxt-src2str-one-rule) : 
		.src ruleID(RuleID) -> fact(RuleID)
	* trace-s.el(qxt-trace-event): protocol Cluster -> [Cluster]
	* trace-s.el(qxt-result-inspect-variable): protocol Oterm -> VarCnstrs

Tue Mar  9 10:48:40 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* result.el (qxt-result): qxt-result-dispatch $B$KJ,$1$k!#JQ?t(B 
	qxt-result-current-buffer $B$K$h$C$F$I$3$KI=<($9$k$+$rH=CG$9$k!#(B

	* result.el (qxt-result-dispatch): New Function.
	qxt-result $B$N2<<u$14X?t!#(B

	* result.el (qxt-result-current-buffer): New Variable.
	$B7k2L$r8=:_0LCV$KI=<($9$k$+(B, Result Buffer $B$K$9$k$+$N(B switch.

	* comm.el (qxt-sentinel): $B@\B3$,@Z$l$?;~(B, result buffer $B$KI=<($9$k!#(B
	qxt-process $B$r(B nil $B$K$9$k!#(B
	
	* parse.el (o-link,link): $B3g8L$NIU$1K:$l(B, $BBP1~4V0c$$$r=$@5!#(B

Wed Mar  3 16:19:41 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* databases.el(qxt-lisp2qxt-dot-cnstr,qxt-lisp2qxt-var-cnstr): 
             change oterm to value for changing .src

Sun Feb 28 04:21:56 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (rule-lab): rule-id $B$O(B string. $B9=J8$NJQ99$KBP1~!#(B

	* parse.el(obj-def): bug-fix

Sat Feb 27 21:34:29 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* comm.el,lex.el.parse.el,result.el,qxt-mode.el($BA4Dj?t(B,$BJQ?t(B,$B4X?t(B): 
	$B%3%a%s%H$rDI2C!#JQ?tDj5A$7$F$$$J$$$b$N$rDj5A$9$k!#(B

Mon Feb 22 14:11:31 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* comm.el (qxt-start): $B4D6-JQ?t(B QXTSERVER $B$r8+$k$h$&$KJQ99!#(B
	qxt-host-name $B$r@_Dj$9$k$h$&$KJQ99!#(BPrefix argument $B$G(B 
	qxt-host-name $B$H$O0[$J$k(B host $B$rF~NO$G$-$k$h$&$K$9$k!#$9$G$K(B 
	session $B$,3+$$$F$$$k>l9g$O(B, message $B$r=PNO$9$k$@$1!#(B

Fri Feb 19 19:20:20 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (list-o-term): list $B$O(B [ $B$G;O$^$k!#(B{  $B$G;O$^$k$h$&$K$J$C(B
	$B$F$$$?!#=$@5!#(B

Wed Feb 17 17:25:20 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* qshell.el(qxt-shell): change qxt-command-shell to qxt-shell

Tue Feb 16 17:12:34 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el(qxt-quit-trace): removed
	* databases.el(qxt-lisp2qxt-obj): add error of unknown obj
	* databases.el(qxt-result-query): add newline runtime error

Tue Feb 16 11:58:15 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* databases.el (qxt-result-query): runtime error $B$+$I$&$+$N>r7oH=(B
	$BCG$,4V0c$$!#=$@5!#(B

Mon Feb 15 17:11:06 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el(qxt-disable-at-spypoints,
	             qxt-enable-at-spypoints,
		     qxt-change-spy-point-vector,
		     qxt-change-spy-point-vectors,
		     qxt-read-spypoint,
		     qxt-unspy-at-spypoints,
		     qxt-unspy-at-modules,
		     qxt-unspy-at-rules,
		     qxt-unspy-at-subgoals,
		     qxt-change-spy-module-id,
		     qxt-change-spy-module-ids,
		     qxt-read-spy-module-id,
		     qxt-spy-at-modules,
		     qxt-change-spy-rule-vector,
		     qxt-change-spy-rule-vectors,
		     qxt-read-spy-rule,
		     qxt-spy-at-rules,
		     qxt-change-spy-subgoal-vector,
		     qxt-change-spy-subgoal-vectors,
		     qxt-read-spy-subgoal,
		     qxt-spy-at-subgoals): change for lisp call interface

Sat Feb 13 01:45:56 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* databases.el (qxt-result-query): runtime_errors $B$KBP1~!#(B

	* databases.el (qxt-lisp2qxt-rule): no_update --> noupdate

Fri Feb 12 19:08:43 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (qxt-print-term): $B?t;z$,(B atom $B$K4^$^$l$F$$$?;~(B ''
	$B$G0O$`$h$&$K$J$C$F$$$?!#=$@5!#(B

Thu Feb 11 11:34:35 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el(qxt-list-spy-on-trace): amend illegal call bug
	* trace-s.el(qxt-trace-event): accept $void in Tracing parameter
	* trace-s.el(qxt-trace-event): add newline at LookupCycle:
	* trace-s.el(qxt-result-list-spy): amend aref bracket bug

Tue Feb  9 13:15:42 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* result.el(qxt-result): status warning is executable
	* result.el(qxt-status-error): change qxt-check-status-error

Mon Feb  8 15:04:29 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el(qxt-inspect-variable): VariableName as String
	* comm.el:(qxt-session-start): add qxt-create-result-buffer,
				       qxt-get-result-buffer
	* qshell.el(qxt-insert-result-buffer): refer by qxt-get-result-buffer
	* result.el(qxt-result): refer by qxt-get-result-buffer
	* server-s.el(qxt-show-qmacs-i-mode): refer by qxt-get-result-buffer


Mon Feb  8 13:24:35 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (qxt-print-term): $BITI,MW$J6uGr$r=PNO$7$J$$!#(B

Sat Feb  6 15:17:38 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el(qxt-inspect-conclusion,qxt-insepct-variable,
	  qxt-quit-insepct): amend status check

Fri Feb  5 15:42:12 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el(qxt-trace-event): add children's numbering
	* result.el(qxt-status-error): add message of abnormal,warnning
	* result.el(qxt-term2lisp-sub): suports / atom
	* term/Imakefile : change for term2lisp (x bit on and obj dependency)
	* term_lex.l : supports / atom
	* server-s.el(qxt-release-string): not null version

Thu Feb  4 17:12:07 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* server-s.el(qxt-set-DBswitch): add null on completing
	* server-s.el(qxt-open-database, qxt-ls-l,qxt-rm-all,
		  qxt-get-text-DB): change function argument
	* databases.el(qxt-close-database): change function argument

Wed Feb  3 19:02:53 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* server-s.el(qxt-set-synchronous,qxt-show-qmacs-mode): add
	interface
	* qshell.el(qxt-command-shell): use qxt-synchronous
	* comm.el, databaes.el, qshell.el, qxt-mode.el, result.el,
	 server-s.el, trace-s.el : delete date comment

Wed Feb  3 17:03:23 1993  MITSUBISHI Niibe Yutaka  (m-gniibe at ss151)

	* comm.el (qxt-synchronous): New Variable.
		  (qxt-send-command):
	 Support synchronous execution.

Tue Feb  2 11:02:14 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* databases.el(qxt-set-default-mode): amend bug
	* databases.el(qxt-display-ExpRules): use qxt-src2str-explanation
	* server-s.el(qxt-show-qmacs-mode): use qxt-result-buffer
	* qshell.el(qxt-command-shell): use qxt-result-buffer

Mon Feb  1 23:02:41 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* Imakefile: includes qshell.el

Fri Jan 29 13:08:02 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* comm.el(qxt-filter): change qxt-processing-time dotted pair to number
	* trace-s.el(qxt-load-spy): read bug
	* databases.el(qxt-lisp2qxt-assump,qxt-src2str-answer): add for xanswer

Wed Jan 27 17:24:27 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* server-s.el(qxt-release-string): accept {"$void","$void"} for null

Tue Jan 26 17:24:53 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	*databases.el(show_dot_labels,show_objects,get_id_rule,
	 show_module_nodes,show_module,show_rule):amend bug nil data


Tue Jan 26 10:05:05 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* Imakefile: New file. Imake $B$G(B install $B=PMh$k$h$&$K$9$k!#(B
	Makefile $B$O(B Makefile.n $B$HL>A0$rJQ$($k!#(B

	* result.el (qxt-result): pop-up-buffer $B$G$J$/!"(Bdisplay-buffer $B$H(B 
	set-buffer $B$r;H$&$3$H$K$9$k!#(Bwindow $BA*Br$NI,MW$,$J$$$?$a!#(B

	* comm.el (qxt-session-start): qxt-result-buffer $B$O(B qxt-mode $B$K$9(B
	$B$k!#(B

Mon Jan 25 17:30:54 1993  MITSUBISHI Niibe Yutaka  (m-gniibe at ss151)

	* traces.el (qxt-trace-event): type fix. NumberOfSolutions,
	SequenceID.

Mon Jan 25 15:01:13 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* databases.el(qxt-show-module,qxt-show-module-node):
	  second change term protocol show_moudle, show_module_node


Sun Jan 24 11:52:38 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* databases.el (qxt-lisp2qxt-cluster-icheck):
	prop(M_id,$A_term) $B$H$7$F2r@O$7$F$$$k!#@5$7$/$O!"(B
	prop({M_id,$A_term}) $B$G$"$k!#=$@5$9$k!#(B

	* parse.el (is-attr-op): = $B$,(B attr-op $B$H$7$FG'<1$5$l$F$$$J$$!#(B
	$BG'<1$9$k$h$&$K$9$k!#(B

	* parse.el (a-attr): {<a-lab>}... $B$HMh$?;~$K!"(B{ $B$r(B advance $B$7$F$$(B
	$B$J$$!#(Badvance $B$9$k$h$&$K$9$k!#(B

Sat Jan 23 00:16:26 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (a-attr): $BJ8K!$NJQ99$KBP1~!#(B
	a-attr $B$NCf$N(B query $B$KMQ$$$i$l$kItJ,$NJQ99!#(B

Fri Jan 22 12:18:40 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (i-check): mid $B$,$J$$;~$O(B &void

	* databases.el (qxt-lisp2qxt-label,qxt-lisp2qxt-var):
	"*" $B$O%i%Y%kL>(B, $BJQ?tL>$K4^$^$l$F$$$k$N$G(B "*" $B$r(B print $B$9$kI,MW$O$J(B
	$B$$!#(B

	* comm.el (qxt-session-start): qxt-result-buffer $B$r=i4|@_Dj$9$k!#(B

	* result.el (qxt-result-buffer): New Variable.
	Quixote $B$N%3%^%s%I$r<B9T$7$?7k2L$O!"(Bcurrent-buffer $B$G$O$J$/!"$3$N(B
	$BJQ?t$N(B buffer $B$K=q$-9~$^$l$k!#(B

	(qxt-result): qxt-result-buffer $B$r(B pop up $B$5$;!"$=$3$K7k2L$r=q$-9~(B
	$B$`$h$&$K$9$k!#7k2L$N2r@OCf$K(B error $B$,5/$3$C$?$i!"$=$N;]$r(B echo
	erea $B$KI=<($7!"(Braw data $B$r7k2L$N(B buffer $B$K=q$-9~$`!#(B

	(qxt-status-error): qxt-result-buffer $B$K=q$-9~$`$h$&$KJQ99!#(B

	* databases.el (qxt-result-query): 1 answers exist $B$O(B
	1 answer exists $B$H=P$k$h$&$K$9$k!#(B

	* server-s.el (qxt-reset): Connection $B$r@Z$k$?$a$K(B, qxt-process $B$r(B 
	delete $B$9$k$h$&$K$9$k!#(B

	* databases.el (qxt-answer-window,qxt-result-show-lattice,
	                qxt-result-show-module-hierarchy):
	buffer $B$r@8@.$7(B, $B=q$/I,MW$O$J$$!#D>@\(B, string $B$r:n$j(B, $B$=$l$rAw$k$3(B
	$B$H$K$9$k!#$^$?(B, connection $B$O(B pipe $B$G9T$J$&$3$H$K$9$k!#(Bpty $B$@$H(B 
	pty $B$N(B 	buffer $BD9$r1[$($F$7$^$&$3$H$,$"$j(B, $B$3$N$H$-(B data $B$,@5$7$/(B
	$BEAAw$5$l$J$$!#(B
	pty $B$rMQ$$$J$$$3$H$K$7$?$N$G(B, Emacs $B$+$i$O(B close $B=PMh$J$$!#(B
	control-d $B$H$$$&(B program $B$K$h$C$F2r7h$9$k!#(B

Thu Jan 21 11:47:35 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* result.el(qxt-result), server-s.el(qxt-set-time-switch),
	  server-s.el(qxt-show-qmacs-mode): for processing time
	* databases.el(qxt-show-module,qxt-show-module-node,qxt-lisp2qxt):
	  change term protocol m_id to m_desc

Wed Jan 20 10:29:18 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* lex.el (qxt-lex): SET_CONGRUNENT --> SET_CONGRUENT
	typo fix.

	* result.el (qxt-term2lisp-sub): $B4A;z$N(B atom, variable $B$KBP1~!#(B

	* databases.el (qxt-query), server-s.el (qxt-create-database):
	qxt-timer-start $B$r8F$V$N$r(B parse $B$N8e$H$9$k!#(Bparse $B$,<:GT$7$?;~$K(B
	$BLdBj$,$"$k$?$a!#(B

	* comm.el (qxt-filter, qxt-send-command): QIF protocol $B$N7W;~5!G=(B
	$B$r<BAu!#(Bqxt-time-switch $B$,(B nil $B0J30$N;~(B, $B7W;~5!G=$r;HMQ$9$k!#$=$N(B
	$B;~(B, qxt-processing-time $B$K;~4V$NCM$,F~$k!#(B

	* comm.el (qxt-time-switch, qxt-processing-time):
	New Variable.  QIF protocol $B$N7W;~5!G=DI2C$K$H$b$J$$(B, $BDI2C!#(B

	* lex.el (qxt-lex): EUC $B$N4A;z$r(B atom, variable $B$G07$($k$h$&$K$9$k!#(B

	* parse.el (qxt-syntax-error), databases.el (query),
	server-s.el(qxt-create-database): syntax error $B$N;~$K(B, parse $B$7$F(B
	$B$$$k0LCV$K(B cursor $B$r0\F0$5$;$k$h$&$K$9$k!#(B

	* comm.el: NEmacs $B$N>l9g(B, $B4A;z$,;H$($k!#$3$N;~(B, connection $B$KBP$7(B
	$B$F4A;z$N(B code $BJQ49$N5!G=$,F/$/!#(B

	    (define-service-kanji-code qxt-server-port nil 3) ; EUC

	$B$G(B EUC $B$GDL?.$r9T$J$&$h$&$K$9$k!#(B

	* parse.el (i-check):
	&consis(ATOM) $B$HMh$k;~(B, $B$3$N(B ATOM $B$,(B i-check $B$@$,(B, o-term_preread 
	$B$G$3$N(B ATOM $B$r(B parse $B$9$k!#(Bo-term_preread $B$G$h$s$G$$$k$N$r(B a-term 
	$B$K0z?t$H$7$FEO$9$N$rK:$l$F$$$?$N$G=$@5!#(B 

	* Makefile (TAGS):
	TAGS $B$N(B entry $B$rDI2C!#(BETAGS $B$rDj5A!#(B

	* parse.el (program-def, program, query):
	syntax $B$N8+Mn$7$,$"$C$?(B(query $B$K(B program $B$,$D$/>l9g(B, $B:G8e$N(B . $B$rFs(B
	$B8DMW5a$9$k(B--> $B0l8D$,@5$7$$(B)$B!#(Bprogram-def $B$rF3F~!#(Bprogram $B$H(B query 
	$B$r$3$l$rMQ$$$F=q$-D>$7!#(B

Tue Jan 19 14:31:58 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* qshell.el(qxt-command-shell): change name from qxt-shell
	* qshell.el(qxt-wait-command): add check all quixote wait function
	* databases.el(qxt-show-normalize-rule),
	  result.el(qxt-reulst): add function for demand
	* databases.el(qxt-display-DotCnstr): bug two Dotcnstr

Mon Jan 18 18:09:43 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* comm.el (qxt-timer-start,qxt-read-elapsed-time,qxt-timer-end):
	New functions to support timer.

	qxt-timer-end returns string.

	(qxt-time-process,qxt-time-command,qxt-time-output-string):
	New variables.

Mon Jan 18 15:56:39 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* server-s.el(qxt-to-message-region): add for demand

Thu Jan 14 13:02:24 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* Makefile : qshell.el$B$rDI2C$7$?!#(B
	* trace-s.el(qxt-result-get-gate-all): bug
	* databases.el(qxt-lisp2qxt-aterm): bug 2 attr aterm
	* server-s.el(qxt-create-database-file) : add for fileName interface
	* databases.el(qxt-query-file) : add for fileName interface
	* server-s.el(qxt-create-database, qxt-open-database): add timer
	* databases.el(qxt-query,qxt-close-database,
	  qxt-delete-database):add timer
	* databases.el(qxt-lisp2qxt-cluster-icheck): prop(Mid,Aterm) change

Thu Jan 14 11:08:09 1993  MITSUBISHI Niibe Yutaka  (m-gniibe at ss151)

	* parse.el (q-mode): inherit --> inheritance, explana --> explanation

	* parse.el (i-check): $B7k2L$N:n@.$G(B vector $B$r0lCJDI2C!#(B

	* parse.el (query,rule-construct): &no_update --> &no_update

Tue Jan 12 15:53:57 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (c-o-term): $B$J$<$+(B prolog $B7A<0$,:o=|$5$l$F$$$k$N$G85$K(B
	$BLa$7$F(B, prolog $B7A<0$r;H$($k$h$&$K$9$k!#(B

Tue Jan 12 15:25:48 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* trace-s.el (qxt-spy-at-subgoal): illegal call bug$B=$@5!#(B

Tue Jan 12 13:14:26 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* parse.el (env-def): name, author, date $B$N(B default $B$NCM$r(B '&void 
	$B$H$9$k!#(B

	* parse.el (program): env-def $B$K4X$9$k(B bug $B=$@5!#(B

	* lex.el (qxt-lex): string $B$rFI$_9~$s$@;~(B, unget-next-char $B$rK:$l(B
	$B$F$$$k$N$r=$@5!#(B

	* parse.el (def-lib-list): def_lib $B$N(B list $B$rJV$9$h$&$KJQ99!#(B

	* parse.el (def-lib): def_lib(lib-lab, lib-name-list) $B$H$$$&7A<0$r(B
	$B:n$k$h$&$KJQ99!#(B

	* parse.el (env-def, def-lib-list): car, cdr --> aref $B$KJQ99!#%G!<(B
	$B%?9=B$$NJQ99$KBP1~$7$F$$$J$$(B bug $B$r=$@5!#(B

	* parse.el (definition, env-def, begining-of-definition):
	 'ENV --> 'ENVIRONMENT fix typo.

	* comm.el (qxt-process): $BJQ?t$H$7$F@k8@$9$k!#(B

	* parse.el (u-cluster): icheck --> i-check fix typo.

Mon Jan 11 18:20:31 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* result.el (qxt-term2lisp-sub): $BFC<l5-9f(B &!#$*+-:<=>?@^~ $B$N$_$+$i(B
	$B$J$kJ8;zNs$r%"%H%`$H$_$J$9$h$&$K$9$k!#(B

Mon Jan 11 16:17:42 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* databases.el(qxt-result-show-lattice,
	qxt-result-show-module-hierarchy,qxt-answer-window):
	$B5/F0$7$?%W%m%;%9$K2~9T$rAw$k!#(B

	*result.el(qxt-result):close-database$B$7$F$b(Bcurrent-session$B$,(Bserver
	$B$K$J$i$J$$7o$N=$@5!#(B


Fri Jan  8 11:35:31 1993  NIIBE Yutaka  (m-gniibe at psiux560)

	* comm.el (qxt-session-start): $B5/F0;~$K(B qxt-current-session $B$r(B 
	'server $B$K@_Dj$9$k!#(B

	* databases.el(qxt-oterm2src): lisp $B$N(B object $B$H$7$F$N(B src $B$G$O$J(B
	$B$/(B, $BJ8;zNs$NI=8=$rJV$9$h$&$K=$@5!#(B

	* server-s.el (qxt-ls): prgn --> progn $B=$@5!#(B

	* parser.el (o-link,m-link): list $B$H(B atom $B$N6hJL$r$7$F$$$J$$!#=$@5!#(B

	* parser.el (exp-list,obj-sub-list,b-obj-list,m-sub-list,link-list,
	             o-link-list,m-link-list,rules,rule-list,u*body,
		     u-cluster-list,a-attr-list,a-cnstr-list,o-term-list,
		     o-attr-list,o-cnstr-list,u*q-bodyk,q-cnstr-list,
		     q-mode-list): reverse $B$rF~$l$F(B, program $B$K$*$1$k=g=x$H(B
	$BF1$8=g=x$K$J$k$h$&$K$9$k!#(B

	* result.el (qxt-term2lisp-sub): $BITI,MW$J>r7oH=CG$r$H$k!#(B

	* parser.el (rule-lab): (rule-id . inheritance-mode) $B$H:n$C$F$$$?$N(B
	$B$r(B (rule-id inheritance-mode) $B$K$9$k!#(B

	* parser.el (u*body): $B3g8L$NBP1~$r4V0c$($F$$$?$N$G=$@5!#(B

	* parser.el (u-cluster-list): ?\; $B$rFI$_Ht$P$9=hM}$,H4$1$F$$$?$N$G(B
	$B=$@5!#(B

	* parser.el (u-cluster): cond $B$G3g8L$NBP1~$r4V0c$($F$$$?$N$G=$@5!#(B

	* server-s.el (qxt-check-status): qxt-client-status $B$O4V0c$$$G(B,
	qxt-client-state $B$,@5$7$$!#JQ99$9$k!#(B

	* lex.el (qxt-lex): '->' $B$r@5$7$/;z6g$H$7$FG'<1$9$k$h$&=$@5!#(B
	* lex.el (qxt-lex): comment (% $B$+$i9TKv(B) $B$r=hM}$9$k$h$&$KJQ99!#(B


Thu Jan  7 16:02:06 1993  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* qxt-reset$B$rDI2C$7$?!#%5!<%P!<%"%\!<%H;~$N%A%'%C%/2sHr$N$?$a!#(B
	* qxt-check-status$B$rDI2C$7$?!#3F%3%^%s%IKh$KDL?.%9%F!<%?%9$H(B
	  $B%;%C%7%g%s$N%A%'%C%/$r9T$J$$!"IT@5$J$i$P%(%i!<$K$9$k!#(B
	* qxt-oterm2src$B$r%Q!<%6!<$r8F$SJ8;zNs$r(BSRC$B$KJQ49$9$k$h$&$K$?!#(B
	* qxt-lisp2qxt$B$K(Bsubgoal,dot_cnstr,var_cnstr,cluster,aterm$B$rDI2C$7$?!#(B
	* $B4X?t(Bqxt-process-message-fileter$B$rDI2C$7$?!#(B

Tue Dec 29 15:38:15 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* $B%H%l!<%9%;%C%7%g%s%3%^%s%I$N1~Ez4X?t$NK\BN$rF~$l$?!#(B
	* $B%$%s%9%Z%/%H%;%C%7%g%s%3%^%s%I$N1~Ez4X?t$NK\BN$rF~$l$?!#(B

Mon Dec 28 14:19:00 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* $B%H%l!<%57O%G!<%?%Y!<%9%;%C%7%g%s%3%^%s%I$N1~Ez4X?t$NK\BN$rF~$l$?!#(B
	* qxt-session-start$B$G(Bconnected Host-name$B$rI=<($9$k!#(B
	* qxt-start$B$rDI2C$7$?!#(Bqxt-host-name$B$,(Bnil$B$J$i$P(Bread-string
	  $B%[%9%HL>$,@_Dj$5$l$F$$$?$i!"$=$l$r;HMQ$9$k!#(B

Sat Dec 26 15:30:39 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* qxt-read-spypoint$B$rDI2C$7$?!#(B(trace-s.el)
	* qxt-oterm2src$B$rDI2C$7$?!#(B(databases.el)
	  show_dot_label$B$H(Bspy_at_subgoals$B$G(Boterm$B$,;XDj$5$l$k>l9g$,$"$k!#(B
	  $B$^$:$O%X%C%I$N$_$N(Boterm$B$r%5%]!<%H$9$k$h$&$K$7$?!#(B

Fri Dec 25 14:34:01 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* $B%Q!<%6!<$r(Bqxt-qxt2src-D,qxt-qxt2src-I$B$K$7$?!#(B(server-s.el)
	* qxt-term2lisp-D $B$,(B"[]" $B$r(Bvector$B$G$O$J$/(Blist$B$rJV$9$h$&$K$7$?!#(B
	* qxt-answer-window$B$NK\BN$r$$$l$?!#(B(databases.el)
	* qxt-conv-mode$B$r(Bstring$B$+$i(Bsymbol$B$KJQ99$7$?!#(B (databases.el)
	* $B%5!<%P!<$KAw$k(BModuleID$B$r(BAtom$B$+$i(BSRC$B$KJQ99$7$?!#(B (databases.el)
	* qxt-term2lisp-I$B$,(B'&top'(2)$B$r<u$1F~$l$k$h$&$K$7$?!#(B (term_yacc.y)
	* DBswitch$B$K(Bunix(Hostname)$B$N7A<0$r<u$1F~$l$k$h$&$K$7$?!#(B (databases.el)
	* hierarchy $B$N(B typo $B=$@5!#(B(database.el, result.el)
	  manual,term_protocol$B$b=$@5$7$?!#(B

Thu Dec 24 11:47:46 1992  NIIBE Yutaka  (m-gniibe at psiux560)

	* lex.el: completely rewritten.

	* databases.el (qxt-result-show-lattice, qxt-result-show-module-hierarchy):
	$BHsF14|(B process $B$G5/F0$9$k$h$&$K$9$k!#(B

	* Makefile: New file.
	make all $B$G(B qxt-all.el $B$r:n@.!#(Bmake install $B$G(B $QXTLISPDIR $B$K(B 
	install $B$9$k!#(B

	* File name $B$rJQ$($k!#(Bprovide $B$r$H$k!#(B
	qxt-ans.el --> result.el
	qxt-com.el --> comm.el
	qxt-dbs.el --> databases.el
	qxt-lex.el --> lex.el
	qxt-prs.el --> parse.el
	qxt-svs.el --> server-s.el
	qxt-trc.el --> trace-s.el

	* qxt-ans.el (qxt-term2lisp-I): term2lisp $B$,(B syntex error $B$HJV$7$?(B
	$B;~$O(B, error $B$rH/@8$5$;$k!#(B

	* qxt-com.el (qxt-filter): qxt-result $B$r8F$VA0$K(B qxt-client-state 
	$B$r@_Dj$9$k!#$3$N$h$&$K$7$J$$$H(B, qxt-result $B$G(B error $B$,H/@8$7$?>l9g(B,
	qxt-client-state $B$N>uBV$,$:$l$F$7$^$&!#(B

	* qxt-ans.el (qxt-term2lisp-D): '&top'(2) $B$H$$$&(B functor $B7A<0$r(B 
	parse $B=PMh$k$h$&$K=$@5!#(B

	* qxt-dbs.el (qxt-show-lattice): $BJV$jCM$N%G!<%?9=B$$KJQ99$,$"$C$?(B
	$B$N$G(B, $B%3%a%s%H=$@5!#(B

	* qxt-ans.el (qxt-term2lisp): D $B$H(B I $B$,5U$K$J$C$F$$$?!#(B

Mon Dec 21 18:42:38 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* qxt-dbs.el$B$N(Bqxt-lisp2qxt$B$K%k!<%k5!G=$rF~$l$?!#(B
	  $B$3$l$K$h$j(Bqxt-show-module-hierachy$B$,F0:n$9$k!#(B

Mon Dec 21 14:25:08 1992  NIIBE Yutaka  (m-gniibe at psiux560)

	* qxt-ans.el (qxt-term2lisp): qxt-qmacs-i-mode $B$NCM$K$h$j(B, D $B$H(B I 
	$B$r;H$$J,$1$k!#(B

	* qxt-prs.el (o-term*set-lhs): set-var $B$r;H$&$h$&$KJQ99!#(B

	* qxt-prs.el (set-var): New function.
	var(set, "A*") $B$r:n$k!#(B

	* qxt-prs.el (var): atom $B$G$O$J$/(B string $B$K$9$k!#(B
	var(ind, "A") $B$r:n$k!#(B

	* qxt-prs.el (query): cnstr-list $B$r:n@.7k2L$KF~$l$k$N$rK:$l$F$$$?!#(B

Fri Dec 18 16:08:22 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* qxt-term2lisp$B$rJQ99$7$?!#(B
	  $B30It(B process $B8F$S=P$7HG$r(Bqxt-term2lisp-I
	  LISP$BHG$r(Bqxt-term2lisp-D$B$H$7$?!#(B
	  qxt-term2lisp-D$B$K%P%0$,$"$k$?$a!"(B
	  $B;CDjE*$K(Bqxt-term2lisp$B$O(Bqxt-term2lisp-I$B$rL5>r7o$K8F$s$G$$$k!#(B
	  ($B?7It$5$s!"%F%9%H40N;$7$F$+$iF~$l$^$7$g$&(B)
	  $B:#8e$O(Bqxt-qmacs-i-mode$B$H$$$&%U%i%0$K$7$?$,$C$F!"(B
	  $B$I$A$i$+$r8F$V$h$&$K$9$k$D$b$j!#(B
	* qxt-ans.el$B$+$i(Bqxt-result-query$B0J2<$r(Bqxt-dbs.el$B$K0\F0$7$?!#(B
	  qxt-ans.el$B$O%5!<%P$+$i$N1~Ez$r2r@O$7$F!"(B
	  $B=hM}4X?t$K%G%$%9%Q%C%A$9$k4X?t$,$"$k%U%!%$%k$H$7$?!#(B
	* qxt-svs.el$B$K(Bqxt-set-qmacs-i-mode$B%3%^%s%I$H(B
	  qxt-set-window-mode$B%3%^%s%I$rF~$l$?!#(B
	* qxt-ans-ext.el$B$r:o=|$7$?!#(B

Thu Dec 17 10:39:46 1992  NIIBE Yutaka  (m-gniibe at psiux560)

	* qxt-ans-ext.el: New file.
	$B30It(B process $B8F$S=P$7$G(B qxt-term2lisp $B$r<B9T$9$k$b$N!#(B

	* qxt-ans.el (qxt-term2lisp): lisp $B$G=q$$$?!#(B

	* qxt-prs.el (qxt-print-term): " (double-quote) $B$r4^$`(B string $B$,(B 
	KL1 $B$N7A<0$G(B("" $B$HFs2sB3$1$k(B)$B=PNO$9$k$h$&$K$9$k!#(B

	* qxt-prs.el (query): V3 $B$N(B a-term $B$r4^$`JQ99$KBP=h!#(B

	* qxt-prs.el (u*q-body, q-cnstr-list, q-cnstr):
	New functions.  Query $B$N(B parse $BMQ!#(B

	* qxt-prs.el (a-attr): curl_ind, curl_set $B$N(B parse.

	* qxt-prs.el (rule-sub, mod, rule-construct): &no_assume $B$N07$$=$(B
	$B@5!#(B

	* qxt-prs.el (list-o-term): INTEGER $B$N$H$-(B, atom $B$K$J$C$F$$$?$N$r(B
	$B?tCM$K$J$k$h$&$K$9$k!#(B

Wed Dec 16 14:38:18 1992  NIIBE Yutaka  (m-gniibe at psiux560)

	* qxt-prs.el (rule-lab, mod, rule-construct)
	$B$V$s$]$&$K$*$1$k(B &no_assume $B$N$$$A$X$s$3$&$K$b$H$E$-$X$s$3$&(B
	rule-mode $B$5$/$8$g(B
	rule-construct New function.

	* qxt-prs.el (prop):
	$BJ8K!$N=$@5(B(<prop>)$B$KBP1~$9$k!#(B
	i.e.,  | <o-term> <sub-rel> "{" <o-term-list> "}" $B$N$5$/$8$g!#(B

	* qxt-prs.el (u-cluster):
	$BJ8K!$N=$@5(B(<u-cluster>)$B$KBP1~$9$k$H$b$K(B, m-lab&a-term $B$r$D$+$C$F$+(B
	$B$-$J$*$7!#(B

	* qxt-prs.el (m-lab&a-term):
	New function.  [m-lab] a-term $B$r(B parse $B$7(B (mid a-term) $B$r$+$($9$+(B
	$B$s$9$&(B

	* qxt-prs.el (a-cnstr):
	completely rewriten.

	* qxt-prs.el (a-term):
	$BJ8K!$N=$@5(B(<a-term>)$B$KBP1~!#(B
	<o-term> "/" "|" "{" <a-cnstr-list> "}"  $B$N$D$$$+(B

	* qxt-prs.el (sort-, sort-name):
	$BJ8K!$N=$@5(B(<sort> $B$O(Bprolog $B7A<0$N$_<u$1IU$1$k$h$&$K$9$k(B)$B$KBP1~$7(B,
	sort-name $B$O:o=|!#(B 

	* qxt-prs.el (m-link, m-link-list, o-link, o-link-list):
	$BE83+$7$F(B, $BE,@Z$J9=B$$r:n$k!#(B

	* qxt-prs.el (qxt-print-term):
	case-fold-search $B$r(B nil $B$K$9$k!#(B

	* qxt-prs.el (o-term-sub, mid, g-var, l-var):
	(var) $B$r;H$&$h$&$KBP1~!#(B

	* qxt-prs.el (var):
	New function. variable $B$KBP1~$7$?9=B$$r:n$k4X?t!#(B

	* qxt-prs.el (exp, exp-operation):
	exp-operation $B$N$H$3$m$G$O(B, cons list $B$G;}$C$F$*$-(B, exp $B$G(B vector 
	$B$K7A$E$/$k!#(B

	* qxt-prs.el (a-cnstr):
	mid $B$,>JN,$5$l$?;~(B, nil $B$G$O$J$/(B, &void
	rel $B$O(B atom $B$G(B '=<' $B$H=P$9!#(B

	* qxt-prs.el (cnstr-o-term):
	o_term(...) ---> c_o_term(...) $B$r:n$k!#(B

	* qxt-prs.el (exp-name):
	exp_name("&e_string") --> exp_name('&e_atom') $B$K(B

	* qxt-prs.el (o-cnstr):
	mid $B$O$J$$$N$G(B '&void ($B$$$^$^$G$O(B nil $B$@$C$?(B)$B!#(B

Tue Dec 15 20:12:09 1992  NIIBE Yutaka  (m-gniibe at psiux560)

	* qxt-prs.el (m-sub): m_id $B$r$H$k=hM}$rDI2C(B

	* qxt-prs.el (rules-sub):
	rule-list $B$G(B cons --> vconcat

	* qxt-prs.el (rule-lab):
	rule-id $B$J$7$N$H$-$O(B &void

	* qxt-prs.el (o-attr):
	$B=PNO7A<0$rJQ99!#(B
	attr(ATOM, ...) ---> attr(ind(c_o_term(ATOM, [], [])), ...)

Tue Dec 15 16:49:56 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* $B%5!<%P!<%;%C%7%g%s%3%^%s%I$N1~Ez4X?t$rF~$l$?!#(B


Tue Dec 15 13:50:29 1992  NIIBE Yutaka  (m-gniibe at psiux560)

	* qxt-prs.el (prop):
	normal(mid,a-term) ---> normal({mid,a-term}) $B$KJQ99!#(B

	* qxt-prs.el (m-sub):	'mid --> 'm_id (typo fix)

	* qxt-prs.el (exp-operation, a-attr, a-cnstr, mid)
	$B4X?t(B (self) $B$r;H$&$h$&$K$9$k!#(B

	* qxt-prs.el (self):
	New function. &self $B$KBP1~$7$?9=B$$r:n$k4X?t!#(B

	/* $BCm0U(B:
	   &self $B$OJ8K!>e(B <c-o-term> $B$G$O$J$$$,(B, $B<BAu$G$=$N$h$&$K(B
	   $B=hM}$7$F$$$k$?$a(B, (gnb $B$H$7$F$O$$$d$$$d$J$,$i(B :-),
	   $B$3$N$h$&$K(B c_o_term() $B$r$D$/$k!#(B
	 */ <--- $B$&!<$s$7$D$3$$(B :P

	* qxt-prs.el (u-cluster):
	transaction() $B$r(B BEGIN_TRANSACTION, END_TRANSACTION,
	ABORT_TRANSACTION $B0l=o$K=hM}$7$F$?$N$rJL!9$K!#(B

	* qxt-prs.el (list-):
	$B:F5"E*$J(B list (e.g. [a,b,c|[d,e,f|[g,h,i]]]) $B$r(B
	parse $B$G$-$k$h$&$KBP1~!#(B

	* qxt-prs.el (g-var):
	   var(ind, ATOM)
	$B$H$$$&7A<0$r:n$k!#(B

	* qxt-prs.el (set-lab, a-lab): 
	set-lab
	  set(c_o_term('label*',[],[]))
	$B$H$$$&7A<0$r:n$k!#(B

	/* $BCm0U(B:
	   label* $B$OJ8K!>e(B <c-o-term> $B$G$O$J$$$,(B, $B<BAu$G$=$N$h$&$K(B
	   $B=hM}$7$F$$$k$?$a(B, (gnb $B$H$7$F$O$$$d$$$d$J$,$i(B :-),
	   $B$3$N$h$&$K(B c_o_term() $B$r$D$/$k!#(B
	 */

	a-lab
	  ind(<c-o-term>)               % <c-o-term> $B$N$H$-(B
	  ind(c_o_term('&car',[],[]))   % &car $B$N$H$-(B
	  ind(c_o_term('&cdr',[],[]))   % &cdr $B$N$H$-(B
	$B$H$$$&7A<0$r:n$k!#(B

	/* $BCm0U(B:
	   &car, &cdr $B$OJ8K!>e(B <c-o-term> $B$G$O$J$$$,(B, $B<BAu$G$=$N$h$&$K(B
	   $B=hM}$7$F$$$k$?$a(B, (gnb $B$H$7$F$O$$$d$$$d$J$,$i(B :-),
	   $B$3$N$h$&$K(B c_o_term() $B$r$D$/$k!#(B
	 */

	* qxt-prs.el (qxt-print-term): ATOM $B$G(B '' $B$G(B quote $B$9$kBP>]$r(B
	regexp [&->+*=<] $B$K(B match $B$9$k$b$N$H$9$k!#(B

	* qxt-prs.el (a-attr): SET_SUBSUMES, SET_SUPERSUMES,
	SET_CONGRUENT, ABSTRACT_OF, INSTANCE_OF,		     

	* qxt-prs.el (prop, list-): normail --> normal (typo fix)

Thu Dec 10 18:53:06 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* $B%H%l!<%5%3%^%s%I$rDI2C$7$?!#(B
	* $B%"%s%5!<$N=hM}$rF~$l$?!#(B
	* $B3F%;%C%7%g%s$N1~Ez4X?t$N%(%s%H%j$rF~$l$?!#(B

Thu Dec 10 12:57:17 1992  NIIBE Yutaka  (m-gniibe at psiux560)

	* qxt-svs.el (create-database) term protocol $B$K$*$$$F(B,
	database-name $B$O(B ATOM $B$G$"$k(B(STRING $B$N07$$$r$7$F$$$?(B)$B!#(B

	* qxt-prs.el (rule-lab, rule-id, rule) inheritance-mode, no-assume 
	$B$,$J$$;~(B, $B@5$7$$CM$rJV$5$J$$(B --> &void $B$H2r<a$9$k!#(B

	* qxt-prs.el (program)	SRC $B$G$O(B env_def $B$J$I$,L5$1$l$P!"(B
	env_def(&void) $BEy$G$O$J$/!"D>@\(B	&void $B$r4|BT$7$F$$$k$N$G(B, &void $B$r(B
	$B$8$+$K=P$9!#(B

	* qxt-prs.el(qxt-print-term) lisp $B$N(B nil $B$O6u(B list $B$H$7$F(B [] $B$H=P(B
	$BNO$9$k!#(B&void $B$J$I$N(B & $B$G;O$^$k(B symbol $B$O(B '&void' $B$H(B quote $B$7$F=P(B
	$BNO$9$k!#(B

Tue Dec  1 13:07:36 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* $B%G!<%?%Y!<%9%;%C%7%g%s%3%^%s%I$N2~9TJQ49$r=$@5$7$?!#(B

Sat Nov 28 14:41:16 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* $B%G!<%?%Y!<%9%;%C%7%g%s%3%^%s%I$rDI2C$7$?!#(B

Fri Nov 27 19:03:48 1992  MTC Amanuma Toshiyuki  (tamanuma at ss151)

	* PSI-III$BMQ$K%U%!%$%kL>$r(B14$BJ8;z0J2<$K$9$k$?$a(Bqxt-xxx.el$B$KE}0l$7$?!#(B

	* $B4X?t(Bqxt-quit$B$r(Bqxt-mode.el$B$+$i(Bqxt-svs.el$B$X0\F0$7$?!#(B

	* README$B$rDI2C$7$?!#(B

	* .el$B$N$_$N(Blisp$B%G%#%l%/%H%j$K$7$?!#(B

	* $B%5!<%P!<%;%C%7%g%s%3%^%s%I$rDI2C$7$?!#(B

Wed Nov  4 16:53:44 1992  MITSUBISHI Niibe Yutaka  (m-gniibe at icot21)

	* require, provide $B$rIU$1$k!#(B

	* (qxt-all.el) $B:n@.!#(B

Tue Oct 20 17:32:11 1992  MITSUBISHI Niibe Yutaka  (m-gniibe at icot21)

	* (lex.el) <= $B$H(B :- $B$OF1$8(B token COMMITS $B$K$9$k(B($B6hJL$7$J$$(B)$B!#(B

	* (cider.qxt) rules $B$N(B {{ }} --> { } $B$K$9$k!#(B

	* (parse.el) rules $B$N(B {{ }} --> { } $B$K$9$k!#(B

	* (lex.el) <set-rel> $B$N(B + $B$r(B * $B$K=$@5!#(B

	* (parse.el) .src $B$N9=@.$K$"$?$j(B, c-o-term $B$J$I$N(B symbol $B$r(B 
	c_o_term $B$H(B - $B$r(B _ $B$KJQ99$9$k!#(B
