diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-05-23 06:52:01 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-05-23 06:52:01 +0000 |
| commit | 3a808df770c8702a9e330effa0b6e462eaaaee01 (patch) | |
| tree | 70ae032632cb6510146ca6eecb8f2ed343da7096 /src/share/tex/open-axiom.sty | |
| parent | b12753cada058f5fafd9f6aeaa7d2e932eb8ff23 (diff) | |
| download | open-axiom-3a808df770c8702a9e330effa0b6e462eaaaee01.tar.gz | |
* boot/includer.boot (%SourceLine): New datatype.
(makeSourceLine): New.
Use source line macro accessors.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
Diffstat (limited to 'src/share/tex/open-axiom.sty')
0 files changed, 0 insertions, 0 deletions