diff options
| author | Maxime Dénès | 2016-12-02 10:56:53 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-12-02 10:56:53 +0100 |
| commit | e048e4d5505cf73ae92016c5175932e15863f95e (patch) | |
| tree | 6c86e7f94ed884fb6c7f254d86c1ff1f3a95e5a2 /dev/doc/changes.txt | |
| parent | 43e73e8c9fe149a93f406351cfa092d9ac90e715 (diff) | |
| parent | 8572140c30629cfcc6b7e68d450487c64922a6b9 (diff) | |
Merge remote-tracking branch 'github/pr/369' into v8.6
Was PR#369: Make a note about wit_constr and Constrarg in
dev/doc/changes
Diffstat (limited to 'dev/doc/changes.txt')
| -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 156f38c455..83bbba96b2 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. |