- From: Wolfgang Jeltsch <wolfgang@jeltsch.net>
- Date: Wed, 21 Jun 2006 18:19:16 +0200
- To: www-amaya@w3.org
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, Wolfgang
Received on Wednesday, 21 June 2006 16:19:37 UTC