syntax_hightlighting_smg issueshttps://gitlab.inria.fr/mgkit/syntax_hightlighting_smg/-/issues2019-10-14T17:06:14+02:00https://gitlab.inria.fr/mgkit/syntax_hightlighting_smg/-/issues/10Nodes with "desc ="2019-10-14T17:06:14+02:00Mathilde RegnaultNodes with "desc ="desc = value(-)
desc and value are both highlighted in teal but should be in purple.desc = value(-)
desc and value are both highlighted in teal but should be in purple.https://gitlab.inria.fr/mgkit/syntax_hightlighting_smg/-/issues/9Tree operations2019-10-14T17:00:42+02:00Mathilde RegnaultTree operationsHighlight tree operations (substitution and adjunction) in dark blue.Highlight tree operations (substitution and adjunction) in dark blue.https://gitlab.inria.fr/mgkit/syntax_hightlighting_smg/-/issues/7Auto indent guards2019-10-11T16:11:30+02:00DUPONT YoannAuto indent guardsGuard should have some at least basic automatic indentation.
Examples:
```
A =>
statements
;
```
```
A +
statements
;
```Guard should have some at least basic automatic indentation.
Examples:
```
A =>
statements
;
```
```
A +
statements
;
```