equal
deleted
inserted
replaced
22 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
22 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
23 Open text buffers take precedence over copies within the file-system. |
23 Open text buffers take precedence over copies within the file-system. |
24 |
24 |
25 * Document panel: simplied interaction where every single mouse click |
25 * Document panel: simplied interaction where every single mouse click |
26 (re)opens document via desktop environment or as jEdit buffer. |
26 (re)opens document via desktop environment or as jEdit buffer. |
|
27 |
|
28 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
|
29 General") allows to specify additional print modes for the prover |
|
30 process, without requiring old-fashioned command-line invocation of |
|
31 "isabelle jedit -m MODE". |
27 |
32 |
28 |
33 |
29 *** HOL *** |
34 *** HOL *** |
30 |
35 |
31 * Abolished slightly odd global lattice interpretation for min/max. |
36 * Abolished slightly odd global lattice interpretation for min/max. |