Hello, platform and Amaya version don't have changed meanwhile. A rather serious bug in Amaya is the inability to declare a symbol in a formula as being an identifier. An example where you need to be able to do so are texts about LR(k) parsing. The control function of an LR(k) parser may return a special value which is denoted by an arrow which points down. Since this arrow denotes a constant, it's an identifier and therefore has to be inside an mi element. Alas, I cannot see any way to realize this with the current Amaya version. Best wishes, WolfgangReceived on Wednesday, 21 June 2006 16:19:37 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:51 UTC