]> git.eshelyaron.com Git - sweep.git/commit
Rewrite the manual in Texinfo format
authorEshel Yaron <me@eshelyaron.com>
Mon, 28 Aug 2023 18:26:39 +0000 (20:26 +0200)
committerEshel Yaron <me@eshelyaron.com>
Wed, 30 Aug 2023 17:19:16 +0000 (19:19 +0200)
commitb4589ed2a99ebfa6fb358654f53ad009181bfbc6
tree05de07e29ec3b39f558d27e21d7e63c00604f8cc
parent44c46715073457ed95a013b870cfd914db03fae1
Rewrite the manual in Texinfo format

* sweep.texi: New file.
* sweep.pl (sweep_match_term/6): Demote expections in user supplied
goal to failure.
* sweeprolog.el (sweeprolog-messages-buffer-name)
(sweeprolog-top-level-mode): Capitalize "Sweep".
.gitignore
sweep.pl
sweep.texi [new file with mode: 0644]
sweeprolog.el