From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 19 May 2005 08:32:52 +0000 (+0000)
Subject: unified grammars and lexers in a single one
X-Git-Tag: single_binding~39
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=4a7dd5f16ad7a3ac176c0650580f736ae73f373d;hp=4a7dd5f16ad7a3ac176c0650580f736ae73f373d;p=helm.git

unified grammars and lexers in a single one
---