Name Last modified Size Description Parent Directory - juraabbrev.pdf 2004-09-22 17:52 468K juraabbrev.ins 2004-09-22 15:05 410 juraabbrev.dtx 2004-09-22 18:05 47K