Mon, 18 May 1998 01:01:00 +0000 |
Kenichi Handa |
Change term unification to
|
Mon, 18 May 1998 01:01:00 +0000 |
Kenichi Handa |
Change term unification to translation
|
Mon, 18 May 1998 01:01:00 +0000 |
Kenichi Handa |
(quail-completion): Consecutive call of
|
Mon, 18 May 1998 00:59:38 +0000 |
Kenichi Handa |
(Vnonascii_translation_table): Name changed from
|
Mon, 18 May 1998 00:59:38 +0000 |
Kenichi Handa |
Change term translation to code conversion, then change
|
Mon, 18 May 1998 00:59:38 +0000 |
Kenichi Handa |
Change terms unify/unification to
|
Mon, 18 May 1998 00:59:38 +0000 |
Kenichi Handa |
Change terms unify/unification to
|
Mon, 18 May 1998 00:59:38 +0000 |
Kenichi Handa |
Change terms unify/unification to
|