From: Markus Triska Date: Sat, 3 Oct 2020 07:59:31 +0000 (+0200) Subject: refer to new tools directory X-Git-Tag: v0.9.0~173^2^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b4ccd889af6c9af8342a7a0996af7858ae8509c1;p=scryer-prolog.git refer to new tools directory --- diff --git a/README.md b/README.md index cf7c729e..a0364d65 100644 --- a/README.md +++ b/README.md @@ -528,10 +528,8 @@ Use [ediprolog](https://www.metalevel.at/ediprolog/) to consult Prolog code and evaluate Prolog queries in arbitrary Emacs buffers. -Emacs definitions that show Prolog terms as trees are currently being -developed and discussed in -issue [#697](https://github.com/mthom/scryer-prolog/issues/697), -and we welcome your comments. +Emacs definitions that show Prolog terms as trees are available +in [tools](tools). To *debug* Prolog code, we recommend the predicates from [**`library(debug)`**](src/lib/debug.pl), most notably: