Update docs for 3.13 release.

README.md

@@ -1,10 +1,20 @@
 
 ![SHOP3 logo](https://github.com/shop-planner/shop-master/raw/master/img/shop3-superclarendon-trattatello-small.png )
 
-# SHOP3 
+# SHOP3
 
 This repository contains the open source version of the SHOP3 Hierarchical Task Network (HTN) AI planner.
 
+## Version 3.13 Release (2024-08-18)
+
+This release contains three key new features:
+
+1. There are [buildapp](https://www.xach.com/lisp/buildapp/)-based command-line executables for SHOP3 that can be built and installed. See [the buildapp subdirectory](shop3/buildapp/README.md) for more details. These are probably not as well documented as could be.
+2. We now use Nicholas Hafner's [random-state](http://shinmera.github.io/random-state/) library for repeatable, portable random number generation, making it easier to do replicable experiments with SHOP3.
+3. We introduced the ability to generate HDDL-format plans from the plan sequences and trees generated by `shop:find-plans-stack`.
+
+In addition to the above new features, there are also a large number of bug fixes.
+
 ## Version 3.8.1 Release (2023-01-25)
 
 In support of work I (RPG) have done to add Monte Carlo Tree Search to SHOP3, I have made a number
@@ -102,7 +112,7 @@ functionality.  If you wish to have this subsystem, you can either;
 
 1. populate the git submodules -- or just the `pddl-tools` one -- in the SHOP3 git
   repository, OR
-2. Clone [the pddl-tools repository](https://github.com/rpgoldman/pddl-tools) into 
+2. Clone [the pddl-tools repository](https://github.com/rpgoldman/pddl-tools) into
   `local-projects`, as well, and do not bother with the git submodules.
 
 

shop3/docs/ChangeLog.md

@@ -1,3 +1,24 @@
+# Version 3.13 (official release)
+
+* Enhancements for plan repair experiments
+
+# Version 3.12
+
+* Use `random-state` library for repeatable experiments.
+
+# Version 3.11
+
+* Command-line applications based on `buildapp`
+* HDDL plan output
+
+# Version 3.10
+
+* Add parameter allowing caller to specify number of plans retrieved (not just "one" or "all"), `plan-num-limit`.
+
+# Version 3.9.1
+
+* Add `plan-tree->sexp` for enhanced plan trees (from `find-plans-stack`).
+
 # Version 3.8.1 - [2023/01/24:rpg]
 
 * A large number of minor bug fixes.