Name Last modified Size Description Parent Directory - README 2006-05-25 01:00 427 jura2html 1999-04-21 12:58 4.6K jura.pdf 2006-05-25 01:00 236K jura.ins 1998-07-11 01:00 290 jura.dtx 1999-04-21 13:16 54K