Update to Alectryon 1.3 #57
Conversation
As written they produce the following output:
opam install coq-hydra-battles.opam --deps-only
[ERROR] Package coq-hydra-battles has no version opam.
(It was removed it Alectryon 1.3.)
This is annoying oversight, sorry. The function used to take a list of file names and look them up in a hardcoded directory. I generalized it to take lists of (directory, name) pairs, but I didn't realize it had external callers.
@cpitclaudel Thank you very much !!! |
|
@cpitclaudel The same issue happens on CI. |
|
Thanks for testing. I see the problem now; I had built from inside Emacs and it used xelatex instead of lualatex by default. I will investigate. |
A repeated call to alectryon@nohyphens clobbered the value of alectryon@@hyphenpenalty, breaking the subsequent call to alectryon@hyphens. Reported-by: @Casteran (coq-community/hydra-battles#57)
|
OK, fixed in v1.3.1, thanks a lot.
By the way, if you prefer one hypothesis per line, you can use this:
|
|
Great !!! Thanks a lot !!!
… Le 17 août 2021 à 05:51, Clément Pit-Claudel ***@***.***> a écrit :
OK, fixed in v1.3.1, thanks a lot.
<https://user-images.githubusercontent.com/8181630/129660094-b150f8eb-5f56-4639-8b4c-687fabbf7fac.png>
By the way, if you prefer one hypothesis per line, you can use this:
\makeatletter
***@***.***@***@***.***}
\makeatother
<https://user-images.githubusercontent.com/8181630/129660236-d36adc13-2f70-4ae4-94e9-ebd8f95c89ee.png>
—
You are receiving this because you modified the open/close state.
Reply to this email directly, view it on GitHub <#57 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AJW6FCWW63QM2P4OZPANQVTT5HMC5ANCNFSM5CGP5P7A>.
Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>.
|
I've had a quick look at the output, and it seems reasonable to me; I hope I didn't break things. Please check and let me know.
I also took the liberty to fix a typo in the README and to use the new LuaLaTeX backend in Alectryon.
The update was supposed to be transparent, but I missed two trivial breaking changes; hence the patch :/ On the plus side, hypotheses and goals should display significantly better now.