Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
CompleteLattice.thy
Sprache: Unknown
|
TODO file for reLyX
SHORT TERM:
- Bug fixes
- Figures (graphics package and \[e]psfig)
- translate common options from preamble (some \usepackage commands)
- copy all unknown environments exactly, not just reLyXskip and verbatim
- \newcommand
MEDIUM TERM:
- support more stuff from preamble, like \newtheorem
- full table support (i.e., longtable and sideways environment in tables)
- minipages
LONGER TERM:
- graphicx?
- other LaTeX packages
- "sloppy" and "fussy" translations
- macro expansion using "tme, a TeX macro expander" by Jonathan Thornburg
- better handling of spaces and comments (involves fixing the parser)
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
|
