TEXINPUTS.jadetex = .;$TEXMF/tex/{jadetex,latex,plain,generic,}// TEXINPUTS.pdfjadetex = .;$TEXMF/tex/{jadetex,latex,plain,generic,}// %% %% jacking up TeX settings for the unique uses of jadetex %% hash_extra.jadetex = 32500 hash_extra.pdfjadetex = 500000 pool_size.jadetex = 500000 pool_size.pdfjadetex = 2000000 string_vacancies.jadetex = 45000 string_vacancies.pdfjadetex = 45000 max_strings.jadetex = 58500 max_strings.pdfjadetex = 500000 pool_free.jadetex = 47500 pool_free.pdfjadetex = 47500 nest_size.jadetex = 500 nest_size.pdfjadetex = 500 param_size.jadetex = 1500 param_size.pdfjadetex = 1500 save_size.jadetex = 5000 save_size.pdfjadetex = 50000 stack_size.jadetex = 1500 stack_size.pdfjadetex = 1500 extra_mem_bot.jadetex = 85000 extra_mem_bot.pdfjadetex = 85000