Add grammar loading and indexing.
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:17:10 +0000 (10:17 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:17:10 +0000 (10:17 +0100)
commit1975eef2d0933da3c01faec1cd14bc8fbf6bf146
tree3b0ad52fad69d4923c3b6c892b8c7dc50207823b
parentf21bce61b0b8c121ae9ada3717079bdd81451f92
Add grammar loading and indexing.
src/main.ml