diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-03 16:53:30 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-03 16:53:30 +0000 |
| commit | 67a9b503724a4390abf08baa367959713483f363 (patch) | |
| tree | 6380b619a86bb58768d8bb3e37387acd808ed6f6 /src/utils | |
| parent | cd75300236a7e0bd4b2ba0818721deb92c522aa7 (diff) | |
| download | open-axiom-67a9b503724a4390abf08baa367959713483f363.tar.gz | |
* boot/tokens.boot: flushOutput, writeNewline, writeString
are new builtin library functions.
* boot/utility.boot (finishLine): New exported function.
* interp/i-output.boot (formulaFormat): Use it.
(texFormat): Likewise.
(texFormat1): Likewise.
(mathmlFormat): Likewise.
(output): Remove case for TextWriter.
Diffstat (limited to 'src/utils')
0 files changed, 0 insertions, 0 deletions