equal
deleted
inserted
replaced
93 |
93 |
94 * Toplevel function "use" refers to raw ML bootstrap environment, |
94 * Toplevel function "use" refers to raw ML bootstrap environment, |
95 without Isar context nor antiquotations. Potential INCOMPATIBILITY. |
95 without Isar context nor antiquotations. Potential INCOMPATIBILITY. |
96 Note that 'ML_file' is the canonical command to load ML files into the |
96 Note that 'ML_file' is the canonical command to load ML files into the |
97 formal context. |
97 formal context. |
|
98 |
|
99 |
|
100 *** System *** |
|
101 |
|
102 * Simplified "isabelle display" tool. Settings variables DVI_VIEWER |
|
103 and PDF_VIEWER now refer to the actual programs, not shell |
|
104 command-lines. Discontinued option -c: invocation may be asynchronous |
|
105 via desktop environment, without any special precautions. Potential |
|
106 INCOMPATIBILITY with ambitious private settings. |
|
107 |
|
108 * Improved 'display_drafts' concerning desktop integration and |
|
109 repeated invocation in PIDE front-end: re-use single file |
|
110 $ISABELLE_HOME_USER/tmp/drafts.pdf and corresponding views. |
98 |
111 |
99 |
112 |
100 |
113 |
101 New in Isabelle2013-2 (December 2013) |
114 New in Isabelle2013-2 (December 2013) |
102 ------------------------------------- |
115 ------------------------------------- |