| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
module is module without concrete syntax
|
|
|
|
|
|
|
|
|
|
was hiding the warnings
|
|
is typechecked only if needsTypeCheck=True
|
|
now uses the wrappers
|
|
synonym of Expr
|
|
Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
|
|
|
|
was introduced
|
|
|
|
|
|
|
|
without bound variable
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 chars; ancientgreek added
|
|
decoding faster
|
|
|
|
decoder is strict
|
|
only on Windows
|
|
|
|
locking problem on Linux
|
|
|
|
|
|
|
|
|
|
used internally); lock fields removed from english resource as an example
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to make them different from the same PGF categories
|
|
categories
|
|
|
