diff options
| author | Jason Gross | 2016-11-21 16:01:34 -0500 |
|---|---|---|
| committer | GitHub | 2016-11-21 16:01:34 -0500 |
| commit | 8572140c30629cfcc6b7e68d450487c64922a6b9 (patch) | |
| tree | 22a8bfe658c972b7cf231437544c1170446ae9fb /dev | |
| parent | aa86963464045d61fa0eaf3a7fe67ced7a6a73f4 (diff) | |
(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index d052468f99..12c0163b95 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. |