Export to GitHub

agda - issue #990

Refactor alignment code in the LaTeX-backend

Posted on Dec 5, 2013 by Massive Rhino
  • [ LaTeX-backend ] Add debugging facility, refactor alignment code, squash a couple of alignment bugs in the process, add test cases for them.
 Attachments

Comment #1

Posted on Dec 5, 2013 by Massive Rhino

(No comment was entered for this change.)

Comment #2

Posted on Dec 16, 2013 by Happy Hippo

Pushed.

Status: Fixed

Labels:
Type-Patch LaTeX