summary refs log tree commit diff
path: root/pkgs/tools/typesetting/tex/lkproof
Commit message (Expand)AuthorAge
* treewide: Add lots of platforms to packages with no metaTuomas Tynkkynen2016-08-02
* svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-02-06
* Moved all LaTeX expressions into tools/typesetting hierarchy.Peter Simons2012-02-04