Outi Munter 7c4e4ba064 Les slides de DGTD novembre 2013 11 anni fa
..
highlight 88eb0af776 Allow override of HTML escaping in code blocks 11 anni fa
leap 32818e0149 move leap styles to js #554 11 anni fa
markdown 7c4e4ba064 Les slides de DGTD novembre 2013 11 anni fa
math 7c4e4ba064 Les slides de DGTD novembre 2013 11 anni fa
multiplex 5655b5f467 semi-correction #470 11 anni fa
notes 53f1f110c8 ensure notes window fragment states are mirrored in main window #538 11 anni fa
notes-server 5655b5f467 semi-correction #470 11 anni fa
postmessage 87591d95d1 cosmetical tweaks to postmessage plugin 12 anni fa
print-pdf 7e8ee5340e update phanomjs pdf printing to work with latest pdf css 11 anni fa
remotes 352ec7e9ad remotes plugin more natural bindings: tap — next, zoom-out — activate overview, zoom-in — deactivate overview 11 anni fa
search 13046a0337 merge search plugin, adjust styles 11 anni fa
zoom-js 080fb3cd33 disable zoom plugin while in overview mode 12 anni fa