search

tov / latex-ottalt

LaTeX package for improved formatting of rules and grammars generated by the Ott tool
http://www.ccs.neu.edu/home/tov/code/latex/
6 stars 0 forks source link

ottalt puts premises each on their own line, even with ImplicitPremiceBreaks #1

Open JoeyEremondi opened 6 years ago

JoeyEremondi commented 6 years ago

I'm using the Ott/OttAlt tool to generate LaTeX for some inference rules in a Programming Language paper. The problem is, when I use OttAlt, it seems to always put each premise on its own line, even when I choose the implicitPremiseBreaks option.

The problem looks to be with the ottpremise and ottdefnblock macros redefinitions.

Does anyone have an idea of why ottAlt would be breaking the automatic spacing of premises?

I'd really rather not have to manually insert all my line breaks, but I'd also like to get the space savings of putting small premises on one line.

I've got a Minimum Working Example on Overleaf. This is the difference between what I get with Ott and Mathpartir: enter image description here

tov commented 6 years ago

Well, that's definitely not what's supposed to happen, but it's not clear to me why. What happens if you turn off implicitPremiseBreaks?

JoeyEremondi commented 6 years ago

Same as if I specify implicitPremiseBreaks.

tov commented 6 years ago

What about lineBreakHack?

On Thu, Apr 5, 2018 at 6:20 PM Joey Eremondi notifications@github.com wrote:

Same as if I specify implicitPremiseBreaks.

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub https://github.com/tov/latex-ottalt/issues/1#issuecomment-379104856, or mute the thread https://github.com/notifications/unsubscribe-auth/AAsthLCx3iygSsoPTyeEu3nAb_2LmGYgks5tlqbFgaJpZM4TJJ23 .

-- Dr. Jesse A. Tov Assistant Professor of Instruction Electrical Engineering and Computer Science McCormick School of Engineering Northwestern University

http://users.eecs.northwestern.edu/~jesse/

JoeyEremondi commented 6 years ago

That works fine, it puts all the premises on the same line (which I think is the expected behaviour, in the absence of explicit line breaks)

tov commented 6 years ago

Yes, that's the expected behavior. I'm now wondering if the other options never even worked, since it's unlikely I used them much. I'll look into it some more.

tov commented 6 years ago

It has something to do with the width of the premises. When I make them narrow enough, it puts them side-by-side. I'm not sure why it would behave differently than mathpartir, though, since it uses mathpartir to do the layout.