3000 pages

Well actually 3011 pages at this very moment. Also

  • 290489 lines of tex,
  • 9300 tags, and
  • 2226 commits since we started using git on May 20, 2008.

Enjoy!

One thought on “3000 pages

Comments are closed.