2018-01-26 17:24:46 +01:00
|
|
|
[lalrpop]
|
|
|
|
title = "LALRPOP Documentation"
|
|
|
|
description = "LALRPOP Documentation"
|
2018-02-04 06:41:41 -05:00
|
|
|
authors = ["LALRPOP Developers"]
|
2018-01-26 17:24:46 +01:00
|
|
|
|
|
|
|
[output.html]
|
|
|
|
mathjax-support = true
|
|
|
|
|
|
|
|
[output.html.playpen]
|
|
|
|
editable = true
|