equal
deleted
inserted
replaced
655 ML value, which is occasionally useful for diagnostic or demonstration |
655 ML value, which is occasionally useful for diagnostic or demonstration |
656 purposes. |
656 purposes. |
657 |
657 |
658 |
658 |
659 *** System *** |
659 *** System *** |
|
660 |
|
661 * Session ROOT specifications support explicit 'document_files' for |
|
662 robust dependencies on LaTeX sources. Only these explicitly given |
|
663 files are copied to the document output directory, before document |
|
664 processing is started. |
660 |
665 |
661 * Simplified "isabelle display" tool. Settings variables DVI_VIEWER |
666 * Simplified "isabelle display" tool. Settings variables DVI_VIEWER |
662 and PDF_VIEWER now refer to the actual programs, not shell |
667 and PDF_VIEWER now refer to the actual programs, not shell |
663 command-lines. Discontinued option -c: invocation may be asynchronous |
668 command-lines. Discontinued option -c: invocation may be asynchronous |
664 via desktop environment, without any special precautions. Potential |
669 via desktop environment, without any special precautions. Potential |