]> git.eshelyaron.com Git - sweep.git/commit
; Further optimize predicate completion at point
authorEshel Yaron <me@eshelyaron.com>
Tue, 14 Nov 2023 12:54:59 +0000 (13:54 +0100)
committerEshel Yaron <me@eshelyaron.com>
Tue, 14 Nov 2023 12:54:59 +0000 (13:54 +0100)
commit864e9b9fce43ec129e59ebc7e538554fef5c6bf4
tree91a4ac99874d0d5df715a4f4b53dfb7c0f3bcca6
parenta3228e96c057f212c0b3924fde09cba0b403e47c
; Further optimize predicate completion at point
sweep.pl
sweeprolog.el