]> git.eshelyaron.com Git - sweep.git/commit
ENHANCED: provide semantic highlighting for missing term kinds
authorEshel Yaron <me@eshelyaron.com>
Fri, 30 Sep 2022 08:58:41 +0000 (11:58 +0300)
committerEshel Yaron <me@eshelyaron.com>
Fri, 30 Sep 2022 08:58:41 +0000 (11:58 +0300)
commitf7ebcf7a5d58c76055588f62c9d3321074729721
treeb617ded06de49604dd4e3bd96b56a8e11156f10c
parentcada0d387148fc4c8a7589a339dea3394de6b690
ENHANCED: provide semantic highlighting for missing term kinds
sweeprolog.el