aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/beautify-archive
Commit message (Expand)AuthorAge
* Make beautify-archive usable on non-GNU systems.Gravatar Xavier Clerc2014-08-21
* Fixing beautification of "thm_token" (missing space) + improvements.Gravatar herbelin2011-11-16
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22