...Centaur.
Unless you specify otherwise on the centaur command line.
...structure.
A variable may be the subject of any number of ctedits, but a ctedit may only have one subject at a time.
...command
When changing directories with cd, no blanks may appear between the lisp prompt and the exclamation mark.
...Phylum.
Not including an operator in a phylum, on the other hand, does not prevent the construction of an abstract syntax tree but may pose problems during semantic analysis.
...statements:
To analyze the conflicts yourself, you might try applying Yacc by hand, with the ``-v'' (verbose) option to the yaccExp.y file generated by the Metal compiler. The resulting y.output file indicates the locations of the shift-reduce and reduce-reduce conflicts. Good luck.
...postfix.
The fact that the comment lasts until the end of the line is specified by preceding lines of this file, not shown here.
...rule.
Note that variable names are different since they are to be instantiated with different values. Variables may be referenced any number of times in the right hand part of a rule.
...etc.
By default, Centaur decreases the print level by one before unparsing a node's descendents. You may, however, change this behavior for each descendent explicitly in the right hand part of a rule.
...value).
The query is a list of instance names followed by a list of the same number of class names. It doesn't ever contain question marks or asterisks.
...sequent.
Not exactly. If the sequent has no hypotheses and its consequent is a simple list of expressions, you may omit the turnstyle and put the consequent in parentheses.
...program:
To resolve this conflict, you could either replace the phyla RULES and DECLS by a phylum containing the two, or replace -> by a different symol.
...notation.
Typol keywords must be prefixed by a sharp sign (``#'').
...result.
This insures that the RESULT variable will always be at the beginning of the list and therefore the first variable displayed, a purely aesthetic choice.
...name.
It is possible to rename ports when including an stnode in a network so that semantically compatible ports are connected.
...gray.
This unfortunately doesn't really happen.
...interpreter.
The environment may have already been loaded if we have, say, edited a Typol program. It is not reloaded in this case.
...interface.
Among other reasons, this gives us free redisplay in any ctedit's that display this variable.
...tree.
The correspondence depends on the type of formatter being used.
...name
The type symbol must be used for packaged symbols.

Tutorial