Ok, perfect!I just finished preparing and pushing the new syntax patch on my github (branch partialorder). I'll try to complete it with NEWS and documentation this afternoon.
- [PATCH 0/2] Symbol alias improving Valentin Tolmer
- [PATCH 1/2] symbols: improve symbol aliasing Valentin Tolmer
- Re: [PATCH 1/2] symbols: improve symbol aliasing Akim Demaille
- Re: [PATCH 1/2] symbols: improve symbol alias... Valentin Tolmer
- Re: [PATCH 1/2] symbols: improve symbol a... Akim Demaille
- Re: [PATCH 1/2] symbols: improve sym... Akim Demaille
- Re: [PATCH 1/2] symbols: improve... Valentin Tolmer
- Re: {master} symbols: improve symbol aliasing Akim Demaille
- [PATCH 2/2] regen Valentin Tolmer
