about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-10T11·00+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-10T11·00+0000
commit06ae269c7c5cdda32072f3f00cf644e540ba12cd (patch)
tree3fa693c3da7383b3c1e8c6e941339bb7554f8626 /doc
parent15801c88fad38253b19ac2ea77e7597deab5fd6b (diff)
* Do not filter when parsing. This is much faster.
* Add some rejections and lexical restrictions to the grammar to make
  this work. 

Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions