equal
deleted
inserted
replaced
362 for hiding of names; |
362 for hiding of names; |
363 |
363 |
364 * system: compression of ML heaps images may now be controlled via -c |
364 * system: compression of ML heaps images may now be controlled via -c |
365 option of isabelle and isatool usedir (currently only observed by |
365 option of isabelle and isatool usedir (currently only observed by |
366 Poly/ML); |
366 Poly/ML); |
|
367 |
|
368 * system: isatool installfonts may handle X-Symbol fonts as well (very |
|
369 useful for remote X11); |
367 |
370 |
368 * system: provide TAGS file for Isabelle sources; |
371 * system: provide TAGS file for Isabelle sources; |
369 |
372 |
370 * settings: smart setup of canonical ML_HOME, ISABELLE_INTERFACE, and |
373 * settings: smart setup of canonical ML_HOME, ISABELLE_INTERFACE, and |
371 XSYMBOL_HOME; no longer need to do manual configuration in most |
374 XSYMBOL_HOME; no longer need to do manual configuration in most |