From 8572140c30629cfcc6b7e68d450487c64922a6b9 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 21 Nov 2016 16:01:34 -0500 Subject: (v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes --- dev/doc/changes.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index d052468f9..12c0163b9 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -218,6 +218,8 @@ val get_id_for_feedback : unit -> edit_or_state_id * route_id for constructing compound entries still works over this scheme. Note that in the case of (VERNAC) ARGUMENT EXTEND, the name of the argument entry is bound in the parsing rules, so beware of recursive calls. + + For example, to get "wit_constr" you must "open Constrarg" at the top of the file. - Evarutil was split in two parts. The new Evardefine file exposes functions define_evar_* mostly used internally in the unification engine. -- cgit v1.2.3