Michael Zeising - 2010-03-30
  • labels: 1149276 -->
  • summary: Parsing the whole document at each save is too slow --> Speed up LaTeX parser