1. 03 Jan, 2017 1 commit
  2. 15 Mar, 2016 1 commit
  3. 26 Jan, 2016 1 commit
  4. 28 Sep, 2015 2 commits
    • Piotr Trojanek's avatar
      escape special XML characters in Isabelle's VCs · a8d40652
      Piotr Trojanek authored
      With the recent Isabelle realization of reals some altname attributes
      were printed with characters that must be escaped in a valid XML output;
      this was tested with xmllint.
      a8d40652
    • Stefan Berghofer's avatar
      Tuned printing of theory names · d441d6a3
      Stefan Berghofer authored
      Theory names are assumed to be unique with respect to their path.
      Therefore, do not attempt to disambiguate them, which should result
      in more readable / predictable names.
      d441d6a3
  5. 09 Sep, 2015 1 commit
  6. 08 Apr, 2015 1 commit
  7. 20 Mar, 2015 1 commit
  8. 19 Mar, 2015 1 commit
  9. 02 Sep, 2014 1 commit
  10. 28 Aug, 2014 1 commit
  11. 21 Aug, 2014 1 commit
  12. 10 Jun, 2014 2 commits
  13. 21 Mar, 2014 2 commits
  14. 14 Mar, 2014 1 commit
  15. 12 Dec, 2013 1 commit
  16. 08 Dec, 2013 2 commits
  17. 03 Dec, 2013 1 commit
  18. 27 Nov, 2013 2 commits
  19. 15 Nov, 2013 2 commits