| Age | Commit message (Collapse) | Author |
|
detecting whether this is the last token.
|
|
|
|
syntax
|
|
+ Make room for function names in the BracketedString data structure.
+ Fill in function names when linearizing an abstract syntax tree to a
BracketedString.
+ Fill in wildCId when it is not obvious what the function is.
+ Function bracketedLinearize: for compatibility with the other linearization
functions, return Leaf "" instead of error "cannot linearize".
+ Export flattenBracketedString from module PGF.
+ PGFServce: make function names available in the JSON representation of
BracketedString.
|
|
|
|
in the abstract syntax
|
|
parse forest
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to match the preliminary specification
|
|
|
|
|
|
|
|
invoked if parsing fails; also added pg -words to show the list of words
|
|
from deprecated
|