]> git.eshelyaron.com Git - sweep.git/commit
; Improve documentation about shutting down Prolog
authorEshel Yaron <me@eshelyaron.com>
Fri, 22 Sep 2023 20:21:34 +0000 (22:21 +0200)
committerEshel Yaron <me@eshelyaron.com>
Fri, 22 Sep 2023 20:30:20 +0000 (22:30 +0200)
commitacb57675b5903778e2f740c624f04f7de4a7d0f0
treedc88bc639ba159908f8ff267a187594babd8222e
parentbe76f2d2c513d0cea21667c7aec265f61bbcefcd
; Improve documentation about shutting down Prolog

* sweeprolog.el (sweeprolog-shutdown): Tweak and make interactive.
* sweep.texi (Initialization): Document it, reorganize.
sweep.texi
sweeprolog.el