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