Profpatsch
Profpatsch
Yay, das sollten wir einbauen: http://remarkjs.com/#12 Da muss man eventuell ein Pandoc-Plugin für schreiben.
> Was Nachschauen angeht, sind wir ja nicht die besten, trotz Bemühungen von Profpatsch und Lars. Wie meinen?
Dankeschön. :)
Oerm, meine Idee war, dass man den Code schön formatiert auf eine eigene Seite packt. Non-plus-ultra wäre es näturlich, wenn wir ihn durch Haddock laufen lassen könnten, dass er den...
Kannst auch einen Abschnitt über die Diskussion um das System und alternative Math Preludes einfügen.
> Hey! I noticed PR #10922 seems to be on this line of work, is there any reason it was never merged? It really only took like 1–3 hours to...
Closing, we already updated these deps to even newer versions on current `dev`.
@AudricV do you want to make a new PR? Otherwise I can also take a shot
I stumbled over this as well. I guess it could be improved by having a list of tags where it shouldn’t create linebreaks. I also noticed that when you have...