search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

[latex]: Using LuaLaTeX with `k.sty` package #2128

Open omarzd opened 8 years ago

omarzd commented 8 years ago

Can I use lualatex instead of pdflatex? Will k.sty work with it if we make the few common changes when moving from pdflatex to lualatex? Or is there something deeply rooted in the package that will make it very difficult?

cos commented 8 years ago

I think @traiansf knows more about this. My advice is to simply try it if the changes are few.

omarzd commented 8 years ago

I did try it and I got various errors that didn't make sense to me, nor could I trace.