Name Last modified Size Parent Directory - jura.dtx 1999-04-21 21:16 54K jura.ins 1998-07-11 09:00 290 jura.pdf 2006-05-25 09:00 236K jura2html 1999-04-21 20:58 4.6K