stex__source: List of files

This package includes 34 files with a total size of 461657 bytes.

Name Directory
texmf\tpm\packages\stex__source.tpm
texmf\source\stex\Makefile
texmf\source\stex\source\stex.ins
texmf\source\stex\source\tikzinput.dtx
texmf\source\stex\source\hwexam.dtx
texmf\source\stex\source\Makefile
texmf\source\stex\source\stex\imports.idtx
texmf\source\stex\source\stex\morphisms.idtx
texmf\source\stex\source\stex\smsmode.idtx
texmf\source\stex\source\stex\variables.idtx
texmf\source\stex\source\stex\uris.idtx
texmf\source\stex\source\stex\html.idtx
texmf\source\stex\source\stex\documents.idtx
texmf\source\stex\source\stex\structures.idtx
texmf\source\stex\source\stex\proofs.idtx
texmf\source\stex\source\stex\modules.idtx
texmf\source\stex\source\stex\notations.idtx
texmf\source\stex\source\stex\utilities.idtx
texmf\source\stex\source\stex\statements.idtx
texmf\source\stex\source\stex\expressions.idtx
texmf\source\stex\source\stex\others.idtx
texmf\source\stex\source\stex\archives.idtx
texmf\source\stex\source\stex\symbols.idtx
texmf\source\stex\source\stex\metatheory.idtx
texmf\source\stex\source\problem.dtx
texmf\source\stex\source\notesslides.dtx
texmf\source\stex\source\stex.dtx
texmf\source\stex\doc\packages\stex-problem.tex
texmf\source\stex\doc\packages\stex-notesslides.tex
texmf\source\stex\doc\packages\stex-tikzinput.tex
texmf\source\stex\doc\packages\stex-hwexam.tex
texmf\source\stex\doc\Makefile
texmf\source\stex\doc\stex-doc.tex
texmf\source\stex\doc\stex-docheader.tex