1. 12 Mar, 2017 1 commit
  2. 11 Mar, 2017 2 commits
  3. 06 Mar, 2017 15 commits
  4. 05 Mar, 2017 2 commits
  5. 10 Oct, 2016 5 commits
  6. 25 Jun, 2016 1 commit
  7. 16 Jun, 2016 4 commits
  8. 15 Jun, 2016 2 commits
  9. 14 Jun, 2016 4 commits
  10. 12 Jun, 2016 1 commit
  11. 11 Jun, 2016 2 commits
    • Justus Sagemüller's avatar
      Escape `$` signs _after_ html control characters. · b0a328a1
      Justus Sagemüller authored
      Otherwise these are misinterpreted as MathJax again (even in their `$` form, for whatever reason!).
      b0a328a1
    • Justus Sagemüller's avatar
      Escape html control characters in error messages. · a5e317f1
      Justus Sagemüller authored
      Error messages are usually rendered surprisingly clean even without escaping, but in a few cases it went wrong quite badly, in particular the `<<loop>>` error would get rendered as the completely cryptic `<>`.
      
      Also, something like `"one string&quot; &quot;another string" 4` used to give the error message
      
      ```
      The function ‘"one string" "another string"’ is applied to one argument,
      but its type ‘String’ has none
      ```
      
      This kind of behavior is prevented by escaping the characters `<`, `>` and `&` to `&lt;`, `&gt;` and `&amp;`, respectively.
      a5e317f1
  12. 10 Jun, 2016 1 commit