]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: use terms at point as "future history" for term-search
authorEshel Yaron <me@eshelyaron.com>
Sat, 7 Jan 2023 06:20:01 +0000 (08:20 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 7 Jan 2023 06:20:01 +0000 (08:20 +0200)
commit72c50f216fab6c2ea36698fa5a10f292e04ef495
tree96c15e0ab0cda538c13c3ffd46fa51f6a71e6b81
parentc6ae233d03c98f2fc4fb23d4f7e3ce15e10706d9
ENHANCED: use terms at point as "future history" for term-search

* sweep.pl (sweep_terms_at_point/2): new predicate.
* sweeprolog.el (sweeprolog-terms-at-point): new function.
(sweeprolog-read-term): use it for setting the future history.
(sweeprolog-read-goal): new function.
(sweeprolog-term-search): use it for reading a goal when called with
prefix argument.
README.org
sweep.pl
sweeprolog-tests.el
sweeprolog.el