Refactor alignment code in the LaTeX-backend

UlfNorell / agda-test

Agda test

0 stars 0 forks source link

Open UlfNorell opened 10 years ago

UlfNorell commented 10 years ago

From stevan.a...@gmail.com on December 05, 2013 18:28:38

[ LaTeX-backend ] Add debugging facility, refactor alignment code, squash a couple of alignment bugs in the process, add test cases for them.

Attachment: agda-latex-backend-alignment.patch

UlfNorell commented 10 years ago

From stevan.a...@gmail.com on December 05, 2013 09:29:02

Status: New