search

geraldpenn / gralej

Automatically exported from code.google.com/p/gralej
0 stars 0 forks source link

Bugs in the latex code of AVMs #4

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Find the attached simple grammar which reproduces bugs.
-
BUG1: In the grammar, I use the underscore char in a_/1 atoms
but in the output latex file these underscores are not escaped
and latex file does not compiles.
-
BUG2: When the list is displayed as [head_element|tail_list]
in gralej's interactive mode
the tail list is skipped in the latex output.  
-
gralej version 0.8.1
OS Ubuntu 10.04 LTS - the Lucid Lynx
-
Lasha Abzianidze.

Original issue reported on code.google.com by lasha.ab...@gmail.com on 31 Aug 2011 at 11:33

GoogleCodeExporter commented 9 years ago 
Now I checked on the latest version of gralej 0.9.0
and bugs still remains.

Original comment by lasha.ab...@gmail.com on 31 Aug 2011 at 11:55

Attachments: