ntg-context

ntg-context@ntg.nl

July 2017

  • 40 participants
  • 84 discussions
dead link in wiki
by Damien Thiriet 24 Jul '17

24 Jul '17

23 Jul '17

21 Jul '17
footnote placement
by Meer, Hans van der 21 Jul '17

21 Jul '17
replace characters with bounding boxes
by Idris Samawi Hamid ادريس سماوي ح امد 20 Jul '17

20 Jul '17

20 Jul '17
synctex
by Hans Hagen 19 Jul '17

19 Jul '17
fixed spacing
by Floris van Manen 17 Jul '17

17 Jul '17
\xmlfirst broken?
by Henri Menke 17 Jul '17

17 Jul '17