stex__source: List of files

This package includes 33 files with a total size of 459268 bytes.

Name Directory
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