Updated CHANGELOG

Src-commit: 515422923da89cd2b6f394b89e7022e7d0f53c84

Author: jfmc

core/CHANGELOG

@@ -1,8 +1,7 @@
 [This file was autogenerated by LPdoc, please do not edit.]
 
 
-This documentation corresponds to version 1.20 (2021/3/18, 19:33:30
-CET).
+This documentation corresponds to version 1.21 (2022/3/2, 20:34:30 CET).
 
 Ciao
 ****
@@ -13,6 +12,102 @@ CHANGELOG_CIAO
 Version/Change Log
 ==================
 
+Version 1.21 (2022/3/2, 20:34:30 CET)
+        * Build system:
+             * IMPROVED: Partial rewrite of network-based installation
+               (better selection of releases, allow prebuilt docs and
+               binaries).
+
+             * IMPROVED: Tighter integration of `ciao publish' into the
+               builder.
+
+             * IMPROVED: Third-party commands moved to "advanced" help.
+
+        * Core (compiler/engine, toplevel, libraries):
+             * ADDED: Support PowerPC 64-bit in little-endian mode.
+
+             * ADDED: Replaced using_tty/0 with system_extra:istty/1
+               (specify fd).
+
+             * ADDED: cgoal/1 property (to distinguish from callable/1
+               ISO pred).
+
+             * ADDED: `binexec' option for automatic spawning of active
+               modules. This produces multi-purpose binaries that can
+               start as either normal processes or active modules.
+
+             * ADDED: Added `ivar/1' meta-property in assertions
+               (expands to `var/1' plus independence from all other
+               vars).
+
+             * ADDED: New rtchecks (run-time assertion checking) code
+               for `det/1', `semidet/1', `multidet/1', `nondet/1'
+               properties.
+
+             * ADDED: Option to run unit tests in the same process.
+
+             * ADDED: Custom headers in foreign interface gluecode
+               (useful for custom type translations).
+
+             * IMPROVED: Faster dependency checks in the compiler (see
+               `itf_sections'). Improves x2 loading time of large
+               executables.
+
+             * IMPROVED: `iso' package renamed `iso_strict', code
+               adapted.
+
+             * IMPROVED: merged `bf' and `af' search rule translation
+               modules.
+
+             * IMPROVED: Document need for `devenv' for running tests.
+
+             * IMPROVED: Preserve timestamps when engine metadata does
+               not change.
+
+             * IMPROVED: More resilient unit test runner.
+
+             * FIXED: Fixes to termux compilation (Android).
+
+             * FIXED: Cleanup of itf when `opt_suff/1' used.
+
+             * FIXED: Default hostname to `localhost' in active modules.
+
+             * FIXED: Location of relative paths in `reexport'.
+
+             * FIXED: Documentation of timeout library.
+
+             * FIXED: Allow multiple doccomments before condcomp
+               directives.
+
+             * FIXED: Markdown parser issues.
+
+             * FIXED: Fix `|' operator priority to 1105 (ISO DCG draft).
+
+             * FIXED: Bug in `sub_atom/5'.
+
+             * FIXED: Removed bashism in `config-sysdep.sh'.
+
+             * FIXED: Use stderr consistently in unit test output.
+
+        * Ciao emacs mode:
+             * ADDED: Distribute flycheck and company support for
+               ciao-mode.
+
+             * ADDED: New `ciao-emacs' command (start emacs with
+               "batteries included"). It preinstalls markdown mode and
+               contrib packages.
+
+             * IMPROVED: library for navigating options menus (used in,
+               e.g., CiaoPP): allow cursor navigation, eliminated need
+               for OK/cancel buttons, allow integer values in responses.
+
+             * CHANGED: Change check assertions binding to `C-c V'.
+
+             * FIXED: `=>' is no longer a prompt recognised my
+               ciao-emacs.
+
+             * FIXED: Issue in passing of system-args to ciao process.
+
 Version 1.20 (2021/3/18, 19:33:30 CET)
         * Build system:
              * ADDED: Experimental `analyze' build grade for analyzing