add release note about custom compsets

HOL-Theorem-Prover · Oct 23, 2014 · f38b962 · f38b962
1 parent 8e166d2
commit f38b962
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/next-release.md b/doc/next-release.md
@@ -47,6 +47,8 @@ New features:
 
 * The Vim mode for HOL now supports multiple simultaneous sessions. See its README for details.
 
+* Many of the standard libraries now provide an `add_X_compset : compset -> unit` (e.g., `add_pred_set_compset`) to ease building of custom call-by-name evaluation conversions that don't, like `EVAL`, include everything in `the_compset()`.
+
 Bugs fixed:
 -----------