]> git.eshelyaron.com Git - sweep.git/commit
Highlight test case head terms in a dedicated face
authorEshel Yaron <me@eshelyaron.com>
Thu, 10 Nov 2022 20:35:15 +0000 (22:35 +0200)
committerEshel Yaron <me@eshelyaron.com>
Thu, 10 Nov 2022 20:35:15 +0000 (22:35 +0200)
commitc1a6c1e1045a9eb88689867499e9728f40f49f72
treed7b2a124879dc0e05422064904057bc2e8aa9230
parent8d7379f7861c475317e0b099d42fde6890d1841d
Highlight test case head terms in a dedicated face
.gitignore
sweeprolog.el