Mercurial > emacs
graph
-
Change term translate-XXX-map to map-XXXMon, 18 May 1998 01:01:00 +0000, by Kenichi Handa
-
Change term unification toMon, 18 May 1998 01:01:00 +0000, by Kenichi Handa
-
Change term unification to translationMon, 18 May 1998 01:01:00 +0000, by Kenichi Handa