[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[NonGNU ELPA] Sweeprolog version 0.12.0
From: |
ELPA update |
Subject: |
[NonGNU ELPA] Sweeprolog version 0.12.0 |
Date: |
Mon, 16 Jan 2023 17:07:54 -0500 |
Version 0.12.0 of package Sweeprolog has just been released in NonGNU ELPA.
You can now find it in M-x list-packages RET.
Sweeprolog describes itself as:
===================
Embedded SWI-Prolog
===================
More at https://elpa.nongnu.org/nongnu/sweeprolog.html
## Summary:
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
SWEEP: SWI-PROLOG EMBEDDED IN EMACS
Eshel Yaron
me@eshelyaron.com
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
This manual describes the Emacs package Sweep (or `sweeprolog.el'),
which provides an embedded SWI-Prolog runtime inside of Emacs.
Table of Contents
─────────────────
## Recent NEWS:
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
SWEEP NEWS – HISTORY OF USER-VISIBLE CHANGES
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
This file contains the release notes for `sweep', an embedding of
SWI-Prolog in Emacs.
For further details, please consult the manual:
[https://eshelyaron.com/sweep.html].
[https://eshelyaron.com/sweep.html] <https://eshelyaron.com/sweep.html>
Version 0.12.0 on 2023-01-16
════════════════════════════
Add on-hover descriptions to tokens in Prolog code
──────────────────────────────────────────────────
`sweeprolog-mode' can now annotate tokens in Prolog code with textual
descriptions that are displayed at the mouse tooltip when you hover
over different tokens in the buffer. This is done by using the
`help-echo' text property. You can also display these descriptions in
the echo area with `C-h .' (`display-local-help').
New user option `sweeprolog-enable-help-echo'
─────────────────────────────────────────────
This is a flag controlling whether `sweeprolog-mode' adds descriptions
to tokens in Prolog code via the `help-echo' text property. It is set
to `t' by default.
Version 0.11.3 on 2023-01-15
════════════════════════════
Improve integration with the standard `compilation-mode'
────────────────────────────────────────────────────────
In previous versions, following an error/warning message from a buffer
that enables `compilation-mode' or one of its derivatives to a
`sweeprolog-mode' buffer would forcefully set the
`next-error-last-buffer' to the target `sweeprolog-mode' buffer. That
would cause further `M-x next-error' (`M-g n') invocations to jump to
the next Flymake error in that buffer, instead of going to the next
error from the original `compilation-mode' buffer. This issue is
fixed in this version.
The manual is also extended to cover the usage of
`compilation-shell-minor-mode' in Sweep Top-level buffers.
New command `sweeprolog-top-level-send-goal'
────────────────────────────────────────────
This command can be called from anywhere to send a Prolog query to the
Sweep Top-level and show the results. In `sweeprolog-mode' buffers,
it’s bound to `C-c C-q'. It’s also bound to `q' in
`sweeprolog-prefix-map', so if you’ve got that bound to e.g. `C-c p'
you can run a query with this command from anywhere with `C-c p q'.
Various documentation improvements
──────────────────────────────────
The Sweep manual is extended with more details and useful information,
and several docstrings have been tweaked.
Version 0.11.2 on 2023-01-07
════════════════════════════
Term Search now uses terms at point for “future history”
────────────────────────────────────────────────────────
When reading a search term in the minibuffer, `sweeprolog-term-search'
now populates the “future history” with the terms at point starting
from the most nested term. This means that you can type `M-n' in the
minibuffer to quickly fill in the term at point in order to search for
similar terms.
Version 0.11.1 on 2023-01-06
════════════════════════════
Term Search improvements
────────────────────────
Invoking `sweeprolog-term-search' with a prefix argument (i.e. typing
`C-u C-c C-s') now prompts for an arbitrary Prolog goal that variables
in the search term should satisfy.
We also use a new function `sweeprolog-read-term' for reading the
search term, which checks that the minibuffer contains a valid Prolog
term before exiting. If the term is invalid this function refuses to
exit the minibuffer and moves point to the position of the syntax
error in the given term.
Version 0.11.0 on 2023-01-05
════════════════════════════
New command `sweeprolog-term-search'
────────────────────────────────────
_Experimental_ new command, bound to `C-c C-s' in `sweeprolog-mode'
buffers, prompts for a Prolog term and searches for terms subsumed by
it in the current buffer. All matching terms are temporarily
highlighted and the cursor moves to the start of the next occurrence
after point.
Fix bug where `sweeprolog-forward-predicate' got confused by dynamic predicates
───────────────────────────────────────────────────────────────────────────────
In previous versions, typing `M-n' (`sweeprolog-forward-predicate')
would sometimes go to the next dynamic predicate, jumping over regular
predicates that come before it.
Version 0.10.1 on 2023-01-01
════════════════════════════
New user option `sweeprolog-read-predicate-documentation-function'
──────────────────────────────────────────────────────────────────
This user option control how `C-c C-d' … …
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [NonGNU ELPA] Sweeprolog version 0.12.0,
ELPA update <=