equal
deleted
inserted
replaced
24 indices of schematic variables. |
24 indices of schematic variables. |
25 |
25 |
26 * Renamed inner syntax categories "num" to "num_token" and "xnum" to |
26 * Renamed inner syntax categories "num" to "num_token" and "xnum" to |
27 "xnum_token", in accordance to existing "float_token". Minor |
27 "xnum_token", in accordance to existing "float_token". Minor |
28 INCOMPATIBILITY. Note that in practice "num_const" etc. are mainly |
28 INCOMPATIBILITY. Note that in practice "num_const" etc. are mainly |
29 used instead. |
29 used instead (which also include position information via |
|
30 constraints). |
30 |
31 |
31 |
32 |
32 *** Pure *** |
33 *** Pure *** |
33 |
34 |
34 * Obsolete command 'types' has been discontinued. Use 'type_synonym' |
35 * Obsolete command 'types' has been discontinued. Use 'type_synonym' |