search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

make alltex should use \libinput{postamble} #548

Closed kohlhase closed 3 years ago

kohlhase commented 3 years ago

The end of the generated all.tex files should be 

\libinput{postamble}
\end{document}

instead of 

\bibliographystyle{alpha}
\bibliography{kwarc}
\printindex
\end{document}
kohlhase commented 3 years ago

my bad, it already does, only my post.tex was different than expected.

lambdaTotoro commented 3 years ago

Easiest ticket in a while! 😎