Skip to content
Snippets Groups Projects
  1. Sep 23, 2013
  2. Sep 20, 2013
  3. Aug 21, 2013
  4. Aug 20, 2013
  5. Aug 19, 2013
  6. Aug 16, 2013
  7. Aug 15, 2013
  8. Aug 14, 2013
  9. Aug 12, 2013
  10. Aug 08, 2013
  11. Aug 07, 2013
  12. Jul 31, 2013
  13. Jul 30, 2013
  14. Jul 29, 2013
  15. Jul 25, 2013
  16. Jul 24, 2013
  17. Jul 23, 2013
  18. Jul 19, 2013
  19. Jul 15, 2013
  20. Jul 12, 2013
  21. Jul 11, 2013
    • Konstantin Osipov's avatar
      Make w3c isopub.ent entity files available locally. · 9b3ce491
      Konstantin Osipov authored
      Make w3c isopub.ent entity files available locally,
      since it is part of nobody-knows which package on Ubuntu,
      and may be missing completely on other distributions.
      
      On Ubuntu 13 even though it is part of mathml, it's not listed
      properly in /etc/xml/catalog apparently.
      
      This fixes xsltproc warnings and speeds up manual generation
      significantly.
      9b3ce491
Loading