stex__source: List of files

This package includes 33 files with a total size of 474951 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