| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
PgfSymbolKS, PgfExprFun and PgfLiteralStr now keep their strings as embedded flexible arrays. The latest change gives us the same compactness as the old representation but it is a lot easier to use.
|
|
with GuSeq. The GuSeq/GuBuf API is simplified
|
|
|
|
declarations for generic programming from data.c are removed as well
|
|
decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order
|
|
|
|
|
|
|
|
|
|
up the code a lot
|
|
fair basis with the grammar rules
|
|
the same mechanism is now used for the metavariables
|
|
|
|
their abstract counter parts
|
|
|
|
|
|
|
|
|
|
in the grammar printout
|
|
|
|
|
