export(readDVI, DVIspecials, setDVIspecials, patchDVI, SweaveMiktex, 
       SweavePDFMiktex, patchSynctex, SweaveDVI, SweavePDF, SweaveAll)
       
useDynLib(patchDVI, dviSpecials, setDviSpecials)